1 # .ssh/config générique mis à votre disposition
2 # par les gentils membres actifs du Cr@ns
3 # Vous pouvez l'utilisez, le redistribuer, le modifier à votre convenance.
4 # Des questions, des suggestions : {nounou,ca}@lists.crans.org
5 # Typiquement, vous pouvez proposer d'ajouter la conf pour accéder à votre département
8 # Les sections commentées par #~# sont des features qui ne sont pas activées
9 # par défaut. Sentez-vous libre de les décommenter pour les utiliser.
11 # À noter que la plupart des serveurs présents dedans sont des serveurs
12 # du Cr@ns, qui risquent donc d'intéresser essentiellement des membres actifs.
13 # Pensez à remplacer "loginCr@ns", "loginFedeRez", "loginBDE" et "loginENS" par
16 #------------------------------------------------------------------------------
18 # Les options qui ne sont pas indentées sont activées pour toutes les connexions
19 # Mêmes celles qui ne correspondent à aucun bloc plus bas
20 # Activer la compression des données transmises lorsque c'est possible
23 #~# # Afficher la fingerprint du serveur sous la forme d'un ASCII art
26 # Ne pas hasher les noms des machines auxquelles on se connecte dans
27 # le fichier known_hosts
30 # Vérifier la concordance du champ DNS SSHFP de la machine (si existant)
31 # et du fingerprint présenté par le serveur
34 # Certaines QuelqueChoseBox tuent les connexion TCP inactives depuis
36 # Cette option fait en sorte d'envoyer toutes les 60 secondes un paquet
37 # sur la connexion, pour la garder vivante.
38 ServerAliveInterval 60
39 # Abandonner au bout de 3 échecs (= considérer la connexion comme morte)
42 # Les options suivantes apparaissent dans les blocs
43 # Host = commence un bloc avec les noms qui utiliseront ce bloc
44 # HostName = nom réellement utilisé pour se connecter au serveur (ou son IP)
45 # User = nom d'utilisateur distant
46 # Port = port de connexion (pour override le port 22)
47 # ForwardAgent = forwarder l'agent ssh sur la machine
48 # (il vaut mieux qu'elle et ses administrateurs soient de confiance)
49 # ProxyCommand = pour passer par un autre serveur intermédiaire
50 # (pour un serveur qui ne peut pas être contacté directement)
52 UserKnownHostsFile ~/.ssh/known_hosts ~/.ssh/known_hosts_crans ~/.ssh/known_hosts_dptinfo ~/.ssh/known_hosts_telecom_serveurs ~/.ssh/known_hosts_telecom_tp
58 Host zeldren.crans.org zeldren
59 HostName zeldren.crans.org
63 Host cerebro.crans.org cerebro
64 HostName cerebro.crans.org
68 Host eva.crans.org eva eeepc
69 HostName eva.crans.org
87 ProxyCommand ssh home.b2moo.fr -W %h:%p
93 ProxyCommand ssh home.b2moo.fr -W %h:%p
95 Host cabal.crans.org cabal.crans
96 HostName cabal.crans.org
101 HostName 192.168.1.81
106 HostName 192.168.1.63
110 Host cabal.home cabal
111 HostName 192.168.1.81
114 ProxyCommand ssh -4 home.b2moo.fr -W %h:%p
116 Host cabalw.home cabalw
117 HostName 192.168.1.63
120 ProxyCommand ssh home.b2moo.fr -W %h:%p
122 Host viki viki.wifi viki.wifi.crans.org
123 HostName viki.wifi.crans.org
127 Host gladys home colloc home.b2moo.fr
128 HostName home.b2moo.fr
133 HostName 192.168.1.18
137 # Les bots sur cerebro
139 HostName cerebro.crans.org
143 HostName cerebro.crans.org
147 HostName cerebro.crans.org
151 HostName cerebro.crans.org
155 HostName cerebro.crans.org
158 Host salesman Salesman
159 HostName cerebro.crans.org
163 HostName cerebro.crans.org
166 Host saturnin Saturnin
167 HostName cerebro.crans.org
171 HostName cerebro.crans.org
179 # Serveur dédié online.net
180 # pimeys.fr = 62.210.178.115
182 Host pimeys pimeys.fr becue.eu
191 # Parce que j'y suis le bienvenu
193 Host linkki linkki.crans.org
194 HostName linkki.crans.org
197 Host ilma ilma.wifi ilma.wifi.crans.org
198 HostName ilma.wifi.crans.org
201 Host ruoska ruoska.crans.org
202 HostName ruoska.crans.org
209 # Parce que j'y suis le bienvenu
212 Host power power.crans.org nit-git nit-git.crans.org
213 HostName power.crans.org
220 # Parce que le département A♡ a un serveur
222 Host acoeur acoeur.crans.org
223 HostName acoeur.crans.org
228 # +-----------------+
229 # | Serveurs du BDE |
230 # +-----------------+
231 # Serveurs du BDE accessibles aux respos info
233 Host kfet kfet.crans.org kfet1
234 HostName kfet.crans.org
238 Host kfet-bureau kfet-bureau.crans.org bureau bureau-bde
239 HostName kfet.crans.org
243 Host bde2 bde2-virt note note-virt kfet-ics doc-bde ldap-bde bde2.crans.org bde2-virt.crans.org note.crans.org
244 HostName bde2-virt.crans.org
248 Host bde3-virt digicode bde3-virt.crans.org
249 HostName bde3-virt.crans.org
253 Host bde3 bde3.crans.org
254 HostName bde3.crans.org
258 Host bde-test bde-test-virt note-test note-dev bde-test.crans.org bde-test-virt.crans.org note-test.crans.org
259 HostName bde-test-virt.crans.org
263 Host sauron sauron.crans.org
264 HostName sauron.crans.org
268 Host med zavoyarde med.crans.org zavoyarde.crans.org
269 HostName zavoyarde.crans.org
274 # +-------------------+
275 # | Serveurs du Cr@ns |
276 # +-------------------+
277 # Accessible aux apprentis
278 # sauf zamok et ssh2, accessibles à tous les adhérents
280 Host alice alice.crans.org
281 HostName alice.crans.org
285 Host alice.adm alice.adm.crans.org
286 HostName alice.adm.crans.org
290 Host appartement hackpartement appartement.crans.org hackpartement.crans.org
291 HostName appartement.crans.org
295 Host apprentis munin-apprentis apprentis.crans.org munin-apprentis.crans.org
296 HostName apprentis.crans.org
299 Host asterisk.crans.org sip.crans.org voip.crans.org stun.crans.org
300 HostName asterisk.crans.org
304 Host asterisk.adm asterisk.adm.crans.org
305 HostName asterisk.adm.crans.org
309 Host backbone backbone.crans.org
310 HostName backbone.crans.org
314 Host backbone.adm backbone.adm.crans.org
315 HostName backbone.adm.crans.org
319 Host bakdaur bakdaur.crans.org
320 HostName bakdaur.crans.org
324 Host bakdaur.adm bakdaur.adm.crans.org
325 HostName bakdaur.adm.crans.org
329 Host backbone.wifi backbone.wifi.crans.org
330 HostName backbone.wifi.crans.org
334 Host batk-0 batk-0.crans.org
335 HostName batk-0.crans.org
338 Host cas-srv cas.crans.org login.crans.org auth.crans.org cas-srv.crans.org
339 HostName cas-srv.crans.org
343 Host cas.adm cas.adm.crans.org
344 HostName cas.adm.crans.org
348 Host charybde darcs ftp.crans.ens-cachan.fr xn--hxamgu1bpkn charybde.crans.org karibe.crans.org xn--hxamgu1bpkn.crans.org ftp.crans.org mirror.crans.org ftp.crans.ens-cachan.fr ntp.crans.org darcs.crans.org
349 HostName charybde.crans.org
353 Host charybde.adm ftp.adm mirror.adm ntp.adm charybde.adm.crans.org ftp.adm.crans.org mirror.adm.crans.org ntp.adm.crans.org
354 HostName charybde.adm.crans.org
358 Host civet rabbitmq vvvvvv civet.crans.org vvvvvv.crans.org rabbitmq.crans.org
359 HostName civet.crans.org
363 Host civet.adm rabbitmq.adm civet.adm.crans.org rabbitmq.adm.crans.org
364 HostName civet.adm.crans.org
368 Host cochon.adm cochon.adm.crans.org
369 HostName cochon.adm.crans.org
373 Host cochon.ferme cochon cochon television tv cochon.ferme.crans.org television.crans.org tv.crans.org cochon.crans.org
374 HostName cochon.ferme.crans.org
379 HostName cups.crans.org
383 Host cups.adm cups.adm.crans.org
384 HostName cups.adm.crans.org
389 HostName dhcp.crans.org
393 Host dhcp-21 dhcp-21.crans.org
394 HostName dhcp-21.crans.org
398 Host dhcp.adm dhcp.adm.crans.org
399 HostName dhcp.adm.crans.org
403 Host discourse discourse-srv discourse.crans.org discourse-srv.crans.org
404 HostName discourse-srv.crans.org
408 Host dyson dyson.crans.org
409 HostName dyson.crans.org
413 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
414 HostName dyson.adm.crans.org
418 Host ethercalc ethercalc-srv ethercalc.crans.org ethercalc-srv.crans.org
419 HostName ethercalc-srv.crans.org
423 Host ethercalc.adm ethercalc.adm.crans.org
424 HostName ethercalc.adm.crans.org
428 Host freebox.crans.org
429 HostName freebox.crans.org
433 Host frontdaur frontdaur.crans.org
434 HostName frontdaur.crans.org
438 Host frontdaur.adm frontdaur.adm.crans.org
439 HostName frontdaur.adm.crans.org
444 HostName ft.crans.org
448 Host ft.adm ft.adm.crans.org
449 HostName ft.adm.crans.org
453 Host fy munin icinga2 weathermap fy.crans.org munin.crans.org icinga2.crans.org weathermap.crans.org
454 HostName fy.crans.org
458 Host fy.adm fy.adm.crans.org
459 HostName fy.adm.crans.org
464 HostName fz.crans.org
468 Host fz.adm fz.adm.crans.org
469 HostName fz.adm.crans.org
473 Host geet geet.crans.org git.crans.org gitlab.crans.org
474 HostName geet.crans.org
478 Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org
479 HostName geet.adm.crans.org
483 Host horde horde-srv webmail horde.crans.org horde-srv.crans.org webmail.crans.org
484 HostName horde.crans.org
488 Host horde.adm horde.adm.crans.org
489 HostName horde.adm.crans.org
493 Host qwebirc web-irc irc.crans.org qwebirc.crans.org web-irc.crans.org
494 HostName irc.crans.org
498 Host irc.adm irc.adm.crans.org
499 HostName irc.adm.crans.org
504 HostName isc.crans.org
508 Host isc.adm isc.adm.crans.org
509 HostName isc.adm.crans.org
513 Host kdell kdell.crans.org
514 HostName kdell.crans.org
518 Host kdell.adm kdell.adm.crans.org
519 HostName kdell.adm.crans.org
523 Host kenobi infinoted kenobby laval obby pad pastebin zero kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org pad.crans.org zero.crans.org pastebin.crans.org
524 HostName kenobi.crans.org
528 Host kenobi.adm kenobi.adm.crans.org
529 HostName kenobi.adm.crans.org
533 Host komaz komaz.crans.org
534 HostName komaz.crans.org
538 Host komaz-21 komaz-21.crans.org
539 HostName komaz-21.crans.org
543 Host komaz.adm komaz.adm.crans.org
544 HostName komaz.adm.crans.org
548 Host malloc malloc.crans.org
549 HostName malloc.crans.org
553 Host malloc.adm malloc.adm.crans.org
554 HostName malloc.adm.crans.org
558 Host mediadrop mediadrop-srv video mediadrop.crans.org video.crans.org mediadrop-srv.crans.org video-srv.crans.org
559 HostName mediadrop.crans.org
563 Host mediadrop.adm mediadrop.adm.crans.org
564 HostName mediadrop.adm.crans.org
568 Host nat64 nat64.crans.org
569 HostName nat64.crans.org
573 Host nat64.adm nat64.adm.crans.org
574 HostName nat64.adm.crans.org
578 Host nem nem.crans.org
579 HostName nem.crans.org
583 Host nem.adm nem.adm.crans.org
584 HostName nem.adm.crans.org
588 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
589 HostName news.crans.org
593 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
594 HostName news.adm.crans.org
598 Host niomniom 15ans crans.ens-cachan.fr crans.org install-party webalizer www.15ans niomniom.crans.org wiki.crans.org www.crans.org install-party.crans.org autostatus.crans.org wifi.crans.org i-p.crans.org crans.org crans.ens-cachan.fr ca.crans.org webalizer.crans.org doc.crans.org map.crans.org wikipedia.crans.org 15ans.crans.org www.15ans.crans.org autoconfig.crans.org
599 HostName niomniom.crans.org
603 Host niomniom.adm niomniom.adm.crans.org
604 HostName niomniom.adm.crans.org
608 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
609 HostName o2.crans.org
613 Host o2.adm o2.adm.crans.org
614 HostName o2.adm.crans.org
618 Host odlyd odlyd.crans.org
619 HostName odlyd.crans.org
623 Host odlyd.adm upload.adm odlyd.adm.crans.org upload.adm.crans.org
624 HostName odlyd.adm.crans.org
628 Host odlyd.wifi odlyd.wifi.crans.org
629 HostName odlyd.wifi.crans.org
633 Host oie oie oie.ferme oie.crans.org oie.ferme.crans.org
634 HostName oie.crans.org
638 Host oie.adm oie.adm.crans.org
639 HostName oie.adm.crans.org
643 Host omnomnom omnomnom.crans.org
644 HostName omnomnom.crans.org
648 Host omnomnom.adm omnomnom.adm.crans.org
649 HostName omnomnom.adm.crans.org
653 Host owl owl.crans.org pop.crans.org imap.crans.org
654 HostName owl.crans.org
658 Host owl.adm imap.adm pop.adm owl.adm.crans.org imap.adm.crans.org pop.adm.crans.org
659 HostName owl.adm.crans.org
663 Host owcloud-srv owncloud.crans.org owncloud-srv.crans.org
664 HostName owncloud.crans.org
668 Host owncloud.adm owncloud.adm.crans.org
669 HostName owncloud.adm.crans.org
673 Host pea pea.crans.org
674 HostName pea.crans.org
678 Host pea.adm pea.adm.crans.org
679 HostName pea.adm.crans.org
683 Host pegase pegase.crans.org
684 HostName pegase.crans.org
689 HostName proxy.crans.org
693 Host puppet.crans.org
694 HostName puppet.crans.org
698 Host puppet.adm puppet.adm.crans.org
699 HostName puppet.adm.crans.org
703 Host redisdead redisdead.crans.org lists.crans.org smtp.crans.org liste.crans.org listes.crans.org list.crans.org
704 HostName redisdead.crans.org
708 Host redisdead.adm list.adm liste.adm listes.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org listes.adm.crans.org list.adm.crans.org liste.adm.crans.org
709 HostName redisdead.adm.crans.org
713 Host rezosup rezosup.crans.org
714 HostName rezosup.crans.org
718 Host roundcube roundcube.crans.org
719 HostName roundcube.crans.org
723 Host roundcube.adm roundcube.adm.crans.org
724 HostName roundcube.adm.crans.org
728 Host deconnexion routeur.crans.org deconnexion.crans.org
729 HostName routeur.crans.org
733 Host routeur-21 routeur-21.crans.org
734 HostName routeur-21.crans.org
738 Host routeur.adm routeur.adm.crans.org
739 HostName routeur.adm.crans.org
743 Host sable dns sable.crans.org dns.crans.org
744 HostName sable.crans.org
748 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
749 HostName sable.adm.crans.org
753 Host sogo sogo-srv sogo.crans.org sogo-srv.crans.org
754 HostName sogo.crans.org
758 Host sogo.adm sogo.adm.crans.org
759 HostName sogo.adm.crans.org
763 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
764 HostName soyouz.crans.org
768 Host soyouz.adm soyoustart.adm soyouz.adm.crans.org soyoustart.adm.crans.org
769 HostName soyouz.adm.crans.org
773 Host ssh2.crans.org mosh.crans.org
774 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
775 # pour passer à travers les blocages de ports (443 = https)
776 HostName 138.231.136.2
781 Host stitch stitch.crans.org
782 HostName stitch.crans.org
786 Host stitch.adm stitch.adm.crans.org
787 HostName stitch.adm.crans.org
791 Host stun-secondary stun-secondary.crans.org
792 HostName stun-secondary.crans.org
796 Host template template.crans.org
797 HostName template.crans.org
801 Host template.adm template.adm.crans.org
802 HostName template.adm.crans.org
807 HostName test1.crans.org
812 HostName test2.crans.org
816 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org logs.crans.org
817 HostName thot.crans.org
821 Host thot.adm logs.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org logs.adm.crans.org
822 HostName thot.adm.crans.org
826 Host titanic titanic.crans.org
827 HostName titanic.crans.org
831 Host titanic.adm titanic.adm.crans.org
832 HostName titanic.adm.crans.org
836 Host tracker.crans.org todo.crans.org phabricator phabricattor.crans.org
837 HostName tracker.crans.org
841 Host tracker.adm tracker.adm.crans.org
842 HostName tracker.adm.crans.org
846 Host vo calendrier intranet-dev news-dev openid-dev weavesync vo.crans.org weavesync.crans.org intranet-dev.crans.org calendrier.crans.org openid-dev.crans.org news-dev.crans.org
847 HostName vo.crans.org
851 Host vo-eth0 vo-eth0.crans.org
852 HostName vo-eth0.crans.org
856 Host vo.adm vo.adm.crans.org
857 HostName vo.adm.crans.org
861 Host xmpp aim chat.yahoo conference conference.jabber icq jabber yahoo xmpp.crans.org icq.crans.org aim.crans.org conference.crans.org jabber.crans.org yahoo.crans.org chat.yahoo.crans.org conference.jabber.crans.org
862 HostName xmpp.crans.org
866 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
867 HostName xmpp.adm.crans.org
871 Host ytrap-llatsni ytrap-llatsni.crans.org
872 HostName ytrap-llatsni.crans.org
876 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
877 HostName ytrap-llatsni.adm.crans.org
881 Host zamok clubs.ens-cachan.fr www.clubs.ens-cachan.fr zamok.crans.org ssh.crans.org impression.crans.org perso.crans.org clubs.ens-cachan.fr www.clubs.ens-cachan.fr mysql.crans.org bleu.crans.org intranet.crans.org blogs.crans.org bda-paris.crans.org factures.crans.org accounts.crans.org ajaxterm.crans.org clubs.crans.org pot-vieux.crans.org
882 HostName zamok.crans.org
886 Host zamok.adm bleu.adm impression.adm users.adm zamok.adm.crans.org bleu.adm.crans.org impression.adm.crans.org users.adm.crans.org
887 HostName zamok.adm.crans.org
892 # +-------------------------+
893 # | Serveurs Cr@ns adm-only |
894 # +-------------------------+
895 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
896 # d'où la ProxyCommand
898 Host babar.adm babar babar babar.adm.crans.org
899 HostName babar.adm.crans.org
902 ProxyCommand ssh sable.crans.org -W %h:%p
904 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
905 HostName bcfg2.adm.crans.org
908 ProxyCommand ssh sable.crans.org -W %h:%p
910 Host eap.adm eap eap eap.adm.crans.org
911 HostName eap.adm.crans.org
914 ProxyCommand ssh sable.crans.org -W %h:%p
916 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
917 HostName kdell-idrac.adm.crans.org
919 ProxyCommand ssh sable.crans.org -W %h:%p
922 HostName %h.adm.crans.org
924 PasswordAuthentication yes
925 ChallengeResponseAuthentication no
926 GSSAPIAuthentication no
927 HostbasedAuthentication no
928 PubkeyAuthentication no
933 KexAlgorithms diffie-hellman-group1-sha1
934 MACs hmac-md5,hmac-sha1
935 Ciphers aes128-cbc,3des-cbc
936 HostKeyAlgorithms ssh-rsa,ssh-dss
937 ProxyCommand ssh sable.crans.org -W %h:%p
939 Host radius.adm radius radius radius.adm.crans.org
940 HostName radius.adm.crans.org
943 ProxyCommand ssh sable.crans.org -W %h:%p
945 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
946 HostName sable-ilo.adm.crans.org
949 ProxyCommand ssh sable.crans.org -W %h:%p
950 HostKeyAlgorithms ssh-rsa
952 Host slon.adm slon slon slon.adm.crans.org
953 HostName slon.adm.crans.org
956 ProxyCommand ssh sable.crans.org -W %h:%p
958 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
959 HostName vert.adm.crans.org
962 ProxyCommand ssh sable.crans.org -W %h:%p
964 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
965 HostName zbee-idrac.adm.crans.org
968 ProxyCommand ssh sable.crans.org -W %h:%p
970 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
971 HostName zbee.adm.crans.org
974 ProxyCommand ssh sable.crans.org -W %h:%p
980 # Accessibles aux membres de l'équipe d'admin de FedeRez
982 Host hexagon hexagon.federez.net
983 HostName hexagon.federez.net
987 Host quigon quigon.federez.net
988 HostName quigon.federez.net
992 Host nonagon nonagon.federez.net
993 HostName nonagon.federez.net
997 Host octogon octogon.federez.net
998 HostName octogon.federez.net
1002 Host pentagon pentagon.federez.net
1003 HostName pentagon.federez.net
1007 Host parangon parangon.federez.net
1008 HostName parangon.federez.net
1012 Host federez-test federez-test.federez.net
1013 HostName federez-test.federez.net
1021 # Réseau IRC des grandes écoles
1023 Host oswaft oswaft.rezosup.net
1024 HostName oswaft.rezosup.net
1028 # +-------------------+
1029 # | Serveurs de l'ENS |
1030 # +-------------------+
1031 # Accessibles aux élèves de l'ENS
1033 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
1034 HostName tselin.clietu.ens-cachan.fr
1036 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1039 HostName tselin2.clietu.ens-cachan.fr
1041 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1043 Host tahines.ens-cachan.fr tahines2 tahines
1044 HostName tahines.ens-cachan.fr
1048 # +------------------+
1049 # | Département info |
1050 # +------------------+
1051 # Machines du département informatique de l'ENSC
1054 Host info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1055 #HostName 138.231.36.60
1056 HostName ssh.dptinfo.ens-cachan.fr
1060 # Le ! permet de ne pas capturer ssh.dptinfo dans *.dptinfo
1061 # Sinon on crée une boucle
1062 Host *.dptinfo !ssh.dptinfo
1063 HostName %h.ens-cachan.fr
1065 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1068 Host *.dptinfo.ens-cachan.fr !ssh.dptinfo.ens-cachan.fr
1071 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1079 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1080 HostName mars.lbpa.ens-cachan.fr
1082 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1084 # END (utile pour éviter les merge conflicts)