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" et "loginENS" par les login idoines
15 #------------------------------------------------------------------------------
17 # Les options qui ne sont pas identées sont activées pour toutes les connexions
18 # Mêmes celles qui ne correspondent à aucun bloc plus bas
19 # Activer la compression des données transmises lorsque c'est possible
22 #~# # Afficher la fingerprint du serveur sous la forme d'un ASCII art
25 # Ne pas hasher les noms des machines auxquelles ont se connecte dans
26 # le fichier known_hosts
29 # Vérifier la concordance du champ DNS SSHFP de la machine (si existant)
30 # et de la fingerprint présentée par le serveur
33 # Certaines QuelqueChoseBox tuent les connexion TCP inactives depuis
35 # Cette option fait en sorte d'envoyer toutes les 60 secondes un paquet
36 # sur la connexion, pour la garder vivante.
37 ClientAliveInterval 60
39 # Les options suivantes apparaissent dans les blocs
40 # Host = commence un bloc avec les noms qui utiliseront ce bloc
41 # HostName = nom réellement utilisé pour se connecter au serveur (ou son IP)
42 # User = nom d'utilisateur distant
43 # Port = port de connexion (pour override le port 22)
44 # ForwardAgent = forwarder l'agent ssh sur la machine
45 # (il vaut mieux qu'elle et ses administrateurs soient de confiance)
46 # ProxyCommand = pour passer par un autre serveur intermédiaire
47 # (pour un serveur qui ne peut pas être contacté directement)
54 Host cerebro.crans.org cerebro
55 HostName cerebro.crans.org
59 Host eva.crans.org eva eeepc
60 HostName eva.crans.org
70 Host cabal.crans.org cabal.crans
71 HostName cabal.crans.org
87 ProxyCommand ssh home.b2moo.fr -W %h:%p
89 Host viki viki.wifi viki.wifi.crans.org
90 HostName viki.wifi.crans.org
94 Host home colloc gladys home.b2moo.fr
95 HostName home.b2moo.fr
100 HostName 192.168.1.18
104 # Les bots sur cerebro
106 HostName cerebro.crans.org
110 HostName cerebro.crans.org
114 HostName cerebro.crans.org
118 HostName cerebro.crans.org
122 HostName cerebro.crans.org
125 Host salesman Salesman
126 HostName cerebro.crans.org
130 HostName cerebro.crans.org
133 Host saturnin Saturnin
134 HostName cerebro.crans.org
138 HostName cerebro.crans.org
147 # pimeys.fr = 176.31.106.206
149 Host pimeys pimeys.fr
155 # becue.eu = 62.210.178.115
162 # +-----------------+
163 # | Machines du BDE |
164 # +-----------------+
165 # Parce que j'étais respo-info Makiavé[list]
167 Host kfet kfet.crans.org kfet1
168 HostName kfet.crans.org
171 Host kfet2 kfet2.crans.org
172 HostName kfet2.crans.org
175 Host bde bde.crans.org note mininote invitation invitations note.crans.org mininote.crans.org invitations.crans.org invitation.crans.org
176 HostName note.crans.org
180 Host bde2 bde2.crans.org note2
181 HostName bde2.crans.org
185 Host bde3 bde3.crans.org
186 HostName bde3.crans.org
190 Host video videobde videobde.crans.org
191 HostName videobde.crans.org
195 Host bureau bureau-bde bureau-bde.crans.org
196 HostName bureau-bde.crans.org
203 # Parce que j'y suis le bienvenu
205 Host linkki linkki.crans.org
206 HostName linkki.crans.org
209 Host ilma ilma.wifi ilma.wifi.crans.org
210 HostName ilma.wifi.crans.org
213 Host ruoska ruoska.crans.org
214 HostName ruoska.crans.org
221 # Parce que j'y suis le bienvenu
223 # Le ftp de Nit, gère A♡-TV.
224 Host power power.crans.org nit-git nit-git.crans.org
225 HostName power.crans.org
228 # Réplicat du wikoeur
229 Host genua acoeur.genua.fr
230 HostName acoeur.genua.fr
237 # Parce que le département A♡ a une raspberry PI et un serveur !
239 Host rasputin rasputin.crans.org raspyjordy.crans.org raspyjordy
240 HostName rasputin.crans.org
243 Host acoeur acoeur.crans.org
244 HostName acoeur.crans.org
248 # +-------------------+
249 # | Serveurs du Cr@ns |
250 # +-------------------+
251 # Accessible aux apprentis
252 # sauf zamok et ssh2, accessibles à tous les adhérents
254 Host appartement appartement.crans.org
255 HostName appartement.crans.org
259 Host apprentis apprentis.crans.org
260 HostName apprentis.crans.org
263 Host asterisk sip asterisk.crans.org sip.crans.org
264 HostName asterisk.crans.org
268 Host asterisk.adm asterisk.adm.crans.org
269 HostName asterisk.adm.crans.org
273 Host backbone backbone.crans.org
274 HostName backbone.crans.org
278 Host backbone.adm backbone.adm.crans.org
279 HostName backbone.adm.crans.org
283 Host backbone.wifi backbone.wifi.crans.org
284 HostName backbone.wifi.crans.org
288 Host batk-0 batk-0.crans.org
289 HostName batk-0.crans.org
292 Host canard.adm canard.adm.crans.org
293 HostName canard.adm.crans.org
297 Host canard.ferme canard canard.ferme.crans.org
298 HostName canard.ferme.crans.org
302 Host cas auth login cas.crans.org login.crans.org auth.crans.org
303 HostName cas.crans.org
307 Host cas.adm cas.adm.crans.org
308 HostName cas.adm.crans.org
312 Host charybde darcs ftp ftp.crans.ens-cachan.fr karibe mirror ntp 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
313 HostName charybde.crans.org
317 Host git git.crans.org
318 HostName geet.crans.org
322 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
323 HostName charybde.adm.crans.org
327 Host civet.crans.org civet
328 HostName civet.crans.org
332 Host cochon.adm cochon.adm.crans.org
333 HostName cochon.adm.crans.org
337 Host cochon.ferme cochon cochon.ferme.crans.org
338 HostName cochon.ferme.crans.org
342 Host dhcp dhcp.crans.org
343 HostName dhcp.crans.org
347 Host dhcp-21 dhcp-21.crans.org
348 HostName dhcp-21.crans.org
352 Host dhcp.adm dhcp.adm.crans.org
353 HostName dhcp.adm.crans.org
357 Host dindon.adm dindon.adm.crans.org
358 HostName dindon.adm.crans.org
362 Host dindon.ferme dindon dindon.ferme.crans.org
363 HostName dindon.ferme.crans.org
367 Host dyson munin nagios dyson.crans.org munin.crans.org nagios.crans.org
368 HostName dyson.crans.org
372 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
373 HostName dyson.adm.crans.org
377 Host ethercalc ethercalc.crans.org
378 HostName ethercalc.crans.org
382 Host freebox freebox.crans.org
383 HostName freebox.crans.org
387 Host geet.crans.org git.crans.org geet git
388 HostName geet.crans.org
392 Host geet.adm.crans.org git.adm.crans.org geet.adm git.adm
393 HostName geet.adm.crans.org
397 Host gordon gordon.crans.org
398 HostName gordon.crans.org
402 Host gordon.adm gordon.adm.crans.org
403 HostName gordon.adm.crans.org
407 Host gordon.wifi nectaris.wifi ragnarok.wifi vpn wifi-update gordon.wifi.crans.org wifi-update.crans.org nectaris.wifi.crans.org vpn.crans.org ragnarok.wifi.crans.org
408 HostName gordon.wifi.crans.org
412 Host horde horde.crans.org
413 HostName horde.crans.org
417 Host horde.adm horde.adm.crans.org
418 HostName horde.adm.crans.org
422 Host irc qwebirc web-irc irc.crans.org web-irc.crans.org qwebirc.crans.org
423 HostName irc.crans.org
427 Host irc.adm irc.adm.crans.org
428 HostName irc.adm.crans.org
432 Host isc isc.crans.org
433 HostName isc.crans.org
437 Host isc.adm isc.adm.crans.org
438 HostName isc.adm.crans.org
442 Host jouvence poulet poulet.ferme jouvence.crans.org poulet.ferme.crans.org
443 HostName jouvence.crans.org
447 Host jouvence.adm poulet.adm jouvence.adm.crans.org poulet.adm.crans.org
448 HostName jouvence.adm.crans.org
452 Host kdell kdell.crans.org
453 HostName kdell.crans.org
457 Host kdell.adm kdell.adm.crans.org
458 HostName kdell.adm.crans.org
462 Host kenobi infinoted kenobby laval obby kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org
463 HostName kenobi.crans.org
467 Host kenobi.adm kenobi.adm.crans.org
468 HostName kenobi.adm.crans.org
472 Host komaz komaz.crans.org
473 HostName komaz.crans.org
477 Host komaz-21 komaz-21.crans.org
478 HostName komaz-21.crans.org
482 Host komaz.adm komaz.adm.crans.org
483 HostName komaz.adm.crans.org
487 Host komaz.wifi komaz.wifi.crans.org
488 HostName komaz.wifi.crans.org
492 Host lapin.adm lapin.adm.crans.org
493 HostName lapin.adm.crans.org
497 Host lapin.ferme lapin lapin.ferme.crans.org
498 HostName lapin.ferme.crans.org
502 Host malloc malloc.crans.org
503 HostName malloc.crans.org
507 Host malloc.adm malloc.adm.crans.org
508 HostName malloc.adm.crans.org
512 Host mdr television vache vache.ferme mdr.crans.org television.crans.org vache.ferme.crans.org
513 HostName mdr.crans.org
517 Host mdr.adm vache.adm mdr.adm.crans.org vache.adm.crans.org
518 HostName mdr.adm.crans.org
522 Host nat64 nat64.crans.org
523 HostName nat64.crans.org
527 Host nat64.adm nat64.adm.crans.org
528 HostName nat64.adm.crans.org
532 Host nem nem.crans.org
533 HostName nem.crans.org
537 Host nem.adm nem.adm.crans.org
538 HostName nem.adm.crans.org
542 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
543 HostName news.crans.org
547 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
548 HostName news.adm.crans.org
552 Host niomniom autostatus ca crans.ens-cachan.fr crans.org doc federez i-p install-party map webalizer wifi wiki wikipedia www niomniom.crans.org wiki.crans.org www.crans.org install-party.crans.org autostatus.crans.org federez.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
553 HostName niomniom.crans.org
557 Host niomniom.adm niomniom.adm.crans.org
558 HostName niomniom.adm.crans.org
562 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
563 HostName o2.crans.org
567 Host o2.adm o2.adm.crans.org
568 HostName o2.adm.crans.org
572 Host oie.adm oie.adm.crans.org
573 HostName oie.adm.crans.org
577 Host oie.ferme oie oie.ferme.crans.org
578 HostName oie.ferme.crans.org
582 Host ovh msn ovh.crans.org msn.crans.org
583 HostName ovh.crans.org
587 Host ovh.adm ovh.adm.crans.org
588 HostName ovh.adm.crans.org
592 Host owl imap pop webmail owl.crans.org pop.crans.org imap.crans.org webmail.crans.org
593 HostName owl.crans.org
597 Host owl.adm owl.adm.crans.org
598 HostName owl.adm.crans.org
602 Host pegase pegase.crans.org
603 HostName pegase.crans.org
607 Host puppet puppet.crans.org
608 HostName puppet.crans.org
612 Host puppet.adm puppet.adm.crans.org
613 HostName puppet.adm.crans.org
617 Host redisdead lists smtp redisdead.crans.org lists.crans.org smtp.crans.org
618 HostName redisdead.crans.org
622 Host redisdead.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org
623 HostName redisdead.adm.crans.org
627 Host roundcube roundcube.crans.org
628 HostName roundcube.crans.org
632 Host roundcube.adm roundcube.adm.crans.org
633 HostName roundcube.adm.crans.org
637 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
638 HostName routeur.crans.org
642 Host routeur-21 routeur-21.crans.org
643 HostName routeur-21.crans.org
647 Host routeur.adm routeur.adm.crans.org
648 HostName routeur.adm.crans.org
652 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
653 HostName sable.crans.org
657 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
658 HostName sable.adm.crans.org
662 Host schrodingred schrodingred.crans.org
663 HostName schrodingred.crans.org
667 Host schrodingred.adm schrodingred.adm.crans.org
668 HostName schrodingred.adm.crans.org
672 Host sogo sogo.crans.org
673 HostName sogo.crans.org
677 Host sogo.adm sogo.adm.crans.org
678 HostName sogo.adm.crans.org
682 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
683 HostName soyoustart.crans.org
687 Host ssh2 ssh2.crans.org
688 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
689 # pour passer à travers les blocages de ports (443 = https)
690 HostName 138.231.136.2
695 Host template template.crans.org
696 HostName template.crans.org
700 Host template.adm template.adm.crans.org
701 HostName template.adm.crans.org
705 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org
706 HostName thot.crans.org
710 Host thot.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org
711 HostName thot.adm.crans.org
715 Host titanic titanic.crans.org
716 HostName titanic.crans.org
720 Host titanic.adm titanic.adm.crans.org
721 HostName titanic.adm.crans.org
725 Host tracker todo tracker.crans.org todo.crans.org
726 HostName tracker.crans.org
730 Host tracker.adm tracker.adm.crans.org
731 HostName tracker.adm.crans.org
735 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
736 HostName vo.crans.org
740 Host vo.adm vo.adm.crans.org
741 HostName vo.adm.crans.org
745 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
746 HostName xmpp.crans.org
750 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
751 HostName xmpp.adm.crans.org
755 Host ytrap-llatsni ytrap-llatsni.crans.org
756 HostName ytrap-llatsni.crans.org
760 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
761 HostName ytrap-llatsni.adm.crans.org
765 Host zamok accounts bda-paris bleu blogs clubs.ens-cachan.fr factures impression intranet mysql perso ssh 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
766 HostName zamok.crans.org
770 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
771 HostName zamok.adm.crans.org
775 # Pas vraiment un serveur Cr@ns
776 Host rezosup rezosup.crans.org
777 HostName rezosup.crans.org
782 # +-------------------------+
783 # | Serveurs Cr@ns adm-only |
784 # +-------------------------+
785 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
786 # d'où la ProxyCommand
787 # fy et fz ne sont accessibles qu'aux nounous
789 Host alice.adm alice alice alice.adm.crans.org
790 HostName alice.adm.crans.org
793 ProxyCommand ssh sable.crans.org -W %h:%p
795 Host babar.adm babar babar babar.adm.crans.org
796 HostName babar.adm.crans.org
799 ProxyCommand ssh sable.crans.org -W %h:%p
801 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
802 HostName bcfg2.adm.crans.org
805 ProxyCommand ssh sable.crans.org -W %h:%p
807 Host daath.adm daath daath daath.adm.crans.org
808 HostName daath.adm.crans.org
811 ProxyCommand ssh sable.crans.org -W %h:%p
813 Host eap.adm eap eap eap.adm.crans.org
814 HostName eap.adm.crans.org
817 ProxyCommand ssh sable.crans.org -W %h:%p
819 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
820 HostName ft-ilo.adm.crans.org
823 ProxyCommand ssh sable.crans.org -W %h:%p
824 HostKeyAlgorithms ssh-rsa
826 Host ft.adm ft ft ft.adm.crans.org
827 HostName ft.crans.org
831 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
832 HostName fx-ilo.adm.crans.org
835 ProxyCommand ssh sable.crans.org -W %h:%p
836 HostKeyAlgorithms ssh-rsa
838 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
839 HostName fy-ilo.adm.crans.org
842 ProxyCommand ssh sable.crans.org -W %h:%p
843 HostKeyAlgorithms ssh-rsa
845 Host fy.adm fy fy fy.adm.crans.org
846 HostName fy.crans.org
849 ProxyCommand ssh sable.crans.org -W %h:%p
851 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
852 HostName fz-ilo.adm.crans.org
855 ProxyCommand ssh sable.crans.org -W %h:%p
856 HostKeyAlgorithms ssh-rsa
858 Host fz.adm fz fz fz.adm.crans.org
859 HostName fz.crans.org
862 ProxyCommand ssh sable.crans.org -W %h:%p
864 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
865 HostName kdell-idrac.adm.crans.org
868 ProxyCommand ssh sable.crans.org -W %h:%p
870 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
871 HostName komaz-ilo.adm.crans.org
874 ProxyCommand ssh sable.crans.org -W %h:%p
875 HostKeyAlgorithms ssh-rsa
877 Host pea.adm pea pea pea.adm.crans.org
878 HostName pea.adm.crans.org
881 ProxyCommand ssh sable.crans.org -W %h:%p
883 Host radius.adm radius radius radius.adm.crans.org
884 HostName radius.adm.crans.org
887 ProxyCommand ssh sable.crans.org -W %h:%p
889 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
890 HostName sable-ilo.adm.crans.org
893 ProxyCommand ssh sable.crans.org -W %h:%p
894 HostKeyAlgorithms ssh-rsa
896 Host slon.adm slon slon slon.adm.crans.org
897 HostName slon.adm.crans.org
900 ProxyCommand ssh sable.crans.org -W %h:%p
902 Host test42.adm test42 test42 test42.adm.crans.org
903 HostName test42.adm.crans.org
906 ProxyCommand ssh sable.crans.org -W %h:%p
908 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
909 HostName vert.adm.crans.org
912 ProxyCommand ssh sable.crans.org -W %h:%p
914 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
915 HostName zbee-idrac.adm.crans.org
918 ProxyCommand ssh sable.crans.org -W %h:%p
920 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
921 HostName zbee.adm.crans.org
924 ProxyCommand ssh sable.crans.org -W %h:%p
930 # Accessibles aux membres de l'équipe d'admin de FedeRez
932 # Actuellement down, mais on ne sait jamais
933 Host nautilus nautilus.federez.net
934 HostName nautilus.federez.net
938 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
939 HostName baldrick.federez.net
943 Host quigon quigon.federez.net
944 HostName quigon.federez.net
948 Host polygon polygon.federez.net
949 HostName polygon.federez.net
953 Host hexagon hexagon.federez.net
954 HostName hexagon.federez.net
959 # +-------------------+
960 # | Serveurs de l'ENS |
961 # +-------------------+
962 # Accessibles aux élèves de l'ENS
964 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
965 HostName tselin.clietu.ens-cachan.fr
967 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
970 HostName tselin2.clietu.ens-cachan.fr
972 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
974 Host tahines.ens-cachan.fr tahines2 tahines
975 HostName tahines.ens-cachan.fr
982 # Parce que je me suis inscrit à la DSI d'Ulm
984 Host clipper clipper.ens.fr
985 HostName clipper.ens.fr
988 Host anat anat.ens.fr
993 Host horus horus.ens.fr
994 HostName horus.ens.fr
996 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
998 Host neith neith.ens.fr
999 HostName neith.ens.fr
1001 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
1003 Host sas sas.eleves.ens.fr
1004 HostName sas.eleves.ens.fr
1008 # +------------------+
1009 # | Département info |
1010 # +------------------+
1011 # Machines du département informatique de l'ENSC
1013 Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1014 #HostName 138.231.36.60
1015 HostName ssh.dptinfo.ens-cachan.fr
1019 Host dptinfo*.dptinfo.ens-cachan.fr
1022 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1026 HostName dpt%h.dptinfo.ens-cachan.fr
1028 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1035 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1036 HostName mars.lbpa.ens-cachan.fr
1038 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1040 # END (utile pour éviter les merge conflicts)