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 cabalw cabalw.local
94 Host viki viki.wifi viki.wifi.crans.org
95 HostName viki.wifi.crans.org
99 Host home colloc gladys home.b2moo.fr
100 HostName home.b2moo.fr
105 HostName 192.168.1.18
109 # Les bots sur cerebro
111 HostName cerebro.crans.org
115 HostName cerebro.crans.org
119 HostName cerebro.crans.org
123 HostName cerebro.crans.org
127 HostName cerebro.crans.org
130 Host salesman Salesman
131 HostName cerebro.crans.org
135 HostName cerebro.crans.org
138 Host saturnin Saturnin
139 HostName cerebro.crans.org
143 HostName cerebro.crans.org
152 # pimeys.fr = 176.31.106.206
154 Host pimeys pimeys.fr
160 # becue.eu = 62.210.178.115
167 # +-----------------+
168 # | Machines du BDE |
169 # +-----------------+
170 # Parce que j'étais respo-info Makiavé[list]
172 Host kfet kfet.crans.org kfet1
173 HostName kfet.crans.org
176 Host kfet2 kfet2.crans.org
177 HostName kfet2.crans.org
180 Host bde bde.crans.org note mininote invitation invitations note.crans.org mininote.crans.org invitations.crans.org invitation.crans.org
181 HostName note.crans.org
185 Host bde2 bde2.crans.org note2
186 HostName bde2.crans.org
190 Host bde3 bde3.crans.org
191 HostName bde3.crans.org
195 Host video videobde videobde.crans.org
196 HostName videobde.crans.org
200 Host bureau bureau-bde bureau-bde.crans.org
201 HostName bureau-bde.crans.org
208 # Parce que j'y suis le bienvenu
210 Host linkki linkki.crans.org
211 HostName linkki.crans.org
214 Host ilma ilma.wifi ilma.wifi.crans.org
215 HostName ilma.wifi.crans.org
218 Host ruoska ruoska.crans.org
219 HostName ruoska.crans.org
226 # Parce que j'y suis le bienvenu
228 # Le ftp de Nit, gère A♡-TV.
229 Host power power.crans.org nit-git nit-git.crans.org
230 HostName power.crans.org
233 # Réplicat du wikoeur
234 Host genua acoeur.genua.fr
235 HostName acoeur.genua.fr
242 # Parce que le département A♡ a une raspberry PI et un serveur !
244 Host rasputin rasputin.crans.org raspyjordy.crans.org raspyjordy
245 HostName rasputin.crans.org
248 Host acoeur acoeur.crans.org
249 HostName acoeur.crans.org
253 # +-------------------+
254 # | Serveurs du Cr@ns |
255 # +-------------------+
256 # Accessible aux apprentis
257 # sauf zamok et ssh2, accessibles à tous les adhérents
259 Host appartement appartement.crans.org
260 HostName appartement.crans.org
264 Host apprentis apprentis.crans.org
265 HostName apprentis.crans.org
268 Host asterisk sip asterisk.crans.org sip.crans.org
269 HostName asterisk.crans.org
273 Host asterisk.adm asterisk.adm.crans.org
274 HostName asterisk.adm.crans.org
278 Host backbone backbone.crans.org
279 HostName backbone.crans.org
283 Host backbone.adm backbone.adm.crans.org
284 HostName backbone.adm.crans.org
288 Host backbone.wifi backbone.wifi.crans.org
289 HostName backbone.wifi.crans.org
293 Host batk-0 batk-0.crans.org
294 HostName batk-0.crans.org
297 Host canard.adm canard.adm.crans.org
298 HostName canard.adm.crans.org
302 Host canard.ferme canard canard.ferme.crans.org
303 HostName canard.ferme.crans.org
307 Host cas auth login cas.crans.org login.crans.org auth.crans.org
308 HostName cas.crans.org
312 Host cas.adm cas.adm.crans.org
313 HostName cas.adm.crans.org
317 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
318 HostName charybde.crans.org
322 Host git git.crans.org
323 HostName geet.crans.org
327 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
328 HostName charybde.adm.crans.org
332 Host civet.crans.org civet
333 HostName civet.crans.org
337 Host cochon.adm cochon.adm.crans.org
338 HostName cochon.adm.crans.org
342 Host cochon.ferme cochon cochon.ferme.crans.org
343 HostName cochon.ferme.crans.org
347 Host dhcp dhcp.crans.org
348 HostName dhcp.crans.org
352 Host dhcp-21 dhcp-21.crans.org
353 HostName dhcp-21.crans.org
357 Host dhcp.adm dhcp.adm.crans.org
358 HostName dhcp.adm.crans.org
362 Host dindon.adm dindon.adm.crans.org
363 HostName dindon.adm.crans.org
367 Host dindon.ferme dindon dindon.ferme.crans.org
368 HostName dindon.ferme.crans.org
372 Host dyson munin nagios dyson.crans.org munin.crans.org nagios.crans.org
373 HostName dyson.crans.org
377 Host dyson.adm munin.adm dyson.adm.crans.org munin.adm.crans.org
378 HostName dyson.adm.crans.org
382 Host ethercalc ethercalc.crans.org
383 HostName ethercalc.crans.org
387 Host freebox freebox.crans.org
388 HostName freebox.crans.org
392 Host geet.crans.org git.crans.org geet git
393 HostName geet.crans.org
397 Host geet.adm.crans.org git.adm.crans.org geet.adm git.adm
398 HostName geet.adm.crans.org
402 Host gordon gordon.crans.org
403 HostName gordon.crans.org
407 Host gordon.adm gordon.adm.crans.org
408 HostName gordon.adm.crans.org
412 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
413 HostName gordon.wifi.crans.org
417 Host horde horde.crans.org
418 HostName horde.crans.org
422 Host horde.adm horde.adm.crans.org
423 HostName horde.adm.crans.org
427 Host irc qwebirc web-irc irc.crans.org web-irc.crans.org qwebirc.crans.org
428 HostName irc.crans.org
432 Host irc.adm irc.adm.crans.org
433 HostName irc.adm.crans.org
437 Host isc isc.crans.org
438 HostName isc.crans.org
442 Host isc.adm isc.adm.crans.org
443 HostName isc.adm.crans.org
447 Host jouvence poulet poulet.ferme jouvence.crans.org poulet.ferme.crans.org
448 HostName jouvence.crans.org
452 Host jouvence.adm poulet.adm jouvence.adm.crans.org poulet.adm.crans.org
453 HostName jouvence.adm.crans.org
457 Host kdell kdell.crans.org
458 HostName kdell.crans.org
462 Host kdell.adm kdell.adm.crans.org
463 HostName kdell.adm.crans.org
467 Host kenobi infinoted kenobby laval obby kenobi.crans.org obby.crans.org kenobby.crans.org infinoted.crans.org laval.crans.org
468 HostName kenobi.crans.org
472 Host kenobi.adm kenobi.adm.crans.org
473 HostName kenobi.adm.crans.org
477 Host komaz komaz.crans.org
478 HostName komaz.crans.org
482 Host komaz-21 komaz-21.crans.org
483 HostName komaz-21.crans.org
487 Host komaz.adm komaz.adm.crans.org
488 HostName komaz.adm.crans.org
492 Host komaz.wifi komaz.wifi.crans.org
493 HostName komaz.wifi.crans.org
497 Host lapin.adm lapin.adm.crans.org
498 HostName lapin.adm.crans.org
502 Host lapin.ferme lapin lapin.ferme.crans.org
503 HostName lapin.ferme.crans.org
507 Host malloc malloc.crans.org
508 HostName malloc.crans.org
512 Host malloc.adm malloc.adm.crans.org
513 HostName malloc.adm.crans.org
517 Host mdr television vache vache.ferme mdr.crans.org television.crans.org vache.ferme.crans.org
518 HostName mdr.crans.org
522 Host mdr.adm vache.adm mdr.adm.crans.org vache.adm.crans.org
523 HostName mdr.adm.crans.org
527 Host nat64 nat64.crans.org
528 HostName nat64.crans.org
532 Host nat64.adm nat64.adm.crans.org
533 HostName nat64.adm.crans.org
537 Host nem nem.crans.org
538 HostName nem.crans.org
542 Host nem.adm nem.adm.crans.org
543 HostName nem.adm.crans.org
547 Host news web-news webnews news.crans.org web-news.crans.org webnews.crans.org
548 HostName news.crans.org
552 Host news.adm web-news.adm webnews.adm news.adm.crans.org webnews.adm.crans.org web-news.adm.crans.org
553 HostName news.adm.crans.org
557 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
558 HostName niomniom.crans.org
562 Host niomniom.adm niomniom.adm.crans.org
563 HostName niomniom.adm.crans.org
567 Host o2 intranet2 switchs o2.crans.org switchs.crans.org intranet2.crans.org
568 HostName o2.crans.org
572 Host o2.adm o2.adm.crans.org
573 HostName o2.adm.crans.org
577 Host oie.adm oie.adm.crans.org
578 HostName oie.adm.crans.org
582 Host oie.ferme oie oie.ferme.crans.org
583 HostName oie.ferme.crans.org
587 Host ovh msn ovh.crans.org msn.crans.org
588 HostName ovh.crans.org
592 Host ovh.adm ovh.adm.crans.org
593 HostName ovh.adm.crans.org
597 Host owl imap pop webmail owl.crans.org pop.crans.org imap.crans.org webmail.crans.org
598 HostName owl.crans.org
602 Host owl.adm owl.adm.crans.org
603 HostName owl.adm.crans.org
607 Host pegase pegase.crans.org
608 HostName pegase.crans.org
612 Host puppet puppet.crans.org
613 HostName puppet.crans.org
617 Host puppet.adm puppet.adm.crans.org
618 HostName puppet.adm.crans.org
622 Host redisdead lists smtp redisdead.crans.org lists.crans.org smtp.crans.org
623 HostName redisdead.crans.org
627 Host redisdead.adm lists.adm smtp.adm redisdead.adm.crans.org lists.adm.crans.org smtp.adm.crans.org
628 HostName redisdead.adm.crans.org
632 Host roundcube roundcube.crans.org
633 HostName roundcube.crans.org
637 Host roundcube.adm roundcube.adm.crans.org
638 HostName roundcube.adm.crans.org
642 Host routeur deconnexion routeur.crans.org deconnexion.crans.org
643 HostName routeur.crans.org
647 Host routeur-21 routeur-21.crans.org
648 HostName routeur-21.crans.org
652 Host routeur.adm routeur.adm.crans.org
653 HostName routeur.adm.crans.org
657 Host sable dns proxy sable.crans.org proxy.crans.org dns.crans.org
658 HostName sable.crans.org
662 Host sable.adm proxy.adm sable.adm.crans.org proxy.adm.crans.org
663 HostName sable.adm.crans.org
667 Host schrodingred schrodingred.crans.org
668 HostName schrodingred.crans.org
672 Host schrodingred.adm schrodingred.adm.crans.org
673 HostName schrodingred.adm.crans.org
677 Host sogo sogo.crans.org
678 HostName sogo.crans.org
682 Host sogo.adm sogo.adm.crans.org
683 HostName sogo.adm.crans.org
687 Host soyouz soyoustart soyouz.crans.org soyoustart.crans.org
688 HostName soyoustart.crans.org
692 Host ssh2 ssh2.crans.org
693 # Un serveur ssh qui n'est qu'un nat vers 138.231.136.1:22
694 # pour passer à travers les blocages de ports (443 = https)
695 HostName 138.231.136.2
700 Host template template.crans.org
701 HostName template.crans.org
705 Host template.adm template.adm.crans.org
706 HostName template.adm.crans.org
710 Host thot psuornotpsu thot.crans.org psuornotpsu.crans.org
711 HostName thot.crans.org
715 Host thot.adm pgsql.adm psuornotpsu.adm thot.adm.crans.org psuornotpsu.adm.crans.org pgsql.adm.crans.org
716 HostName thot.adm.crans.org
720 Host titanic titanic.crans.org
721 HostName titanic.crans.org
725 Host titanic.adm titanic.adm.crans.org
726 HostName titanic.adm.crans.org
730 Host tracker todo tracker.crans.org todo.crans.org
731 HostName tracker.crans.org
735 Host tracker.adm tracker.adm.crans.org
736 HostName tracker.adm.crans.org
740 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
741 HostName vo.crans.org
745 Host vo.adm vo.adm.crans.org
746 HostName vo.adm.crans.org
750 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
751 HostName xmpp.crans.org
755 Host xmpp.adm jabber.adm xmpp.adm.crans.org jabber.adm.crans.org
756 HostName xmpp.adm.crans.org
760 Host ytrap-llatsni ytrap-llatsni.crans.org
761 HostName ytrap-llatsni.crans.org
765 Host ytrap-llatsni.adm ytrap-llatsni.adm.crans.org
766 HostName ytrap-llatsni.adm.crans.org
770 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
771 HostName zamok.crans.org
775 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
776 HostName zamok.adm.crans.org
780 # Pas vraiment un serveur Cr@ns
781 Host rezosup rezosup.crans.org
782 HostName rezosup.crans.org
787 # +-------------------------+
788 # | Serveurs Cr@ns adm-only |
789 # +-------------------------+
790 # Accessibles aux apprentis, mais ne sont que sur le VLAN adm
791 # d'où la ProxyCommand
792 # fy et fz ne sont accessibles qu'aux nounous
794 Host alice.adm alice alice alice.adm.crans.org
795 HostName alice.adm.crans.org
798 ProxyCommand ssh sable.crans.org -W %h:%p
800 Host babar.adm babar babar babar.adm.crans.org
801 HostName babar.adm.crans.org
804 ProxyCommand ssh sable.crans.org -W %h:%p
806 Host bcfg2.adm bcfg2 bcfg2 bcfg2.adm.crans.org
807 HostName bcfg2.adm.crans.org
810 ProxyCommand ssh sable.crans.org -W %h:%p
812 Host daath.adm daath daath daath.adm.crans.org
813 HostName daath.adm.crans.org
816 ProxyCommand ssh sable.crans.org -W %h:%p
818 Host eap.adm eap eap eap.adm.crans.org
819 HostName eap.adm.crans.org
822 ProxyCommand ssh sable.crans.org -W %h:%p
824 Host ft-ilo.adm ft-ilo ft-ilo ft-ilo.adm.crans.org
825 HostName ft-ilo.adm.crans.org
828 ProxyCommand ssh sable.crans.org -W %h:%p
829 HostKeyAlgorithms ssh-rsa
831 Host ft.adm ft ft ft.adm.crans.org
832 HostName ft.crans.org
836 Host fx-ilo.adm fx-ilo zamok-ilo.adm fx-ilo fx-ilo.adm.crans.org zamok-ilo.adm.crans.org
837 HostName fx-ilo.adm.crans.org
840 ProxyCommand ssh sable.crans.org -W %h:%p
841 HostKeyAlgorithms ssh-rsa
843 Host fy-ilo.adm fy-ilo fy-ilo fy-ilo.adm.crans.org
844 HostName fy-ilo.adm.crans.org
847 ProxyCommand ssh sable.crans.org -W %h:%p
848 HostKeyAlgorithms ssh-rsa
850 Host fy.adm fy fy fy.adm.crans.org
851 HostName fy.crans.org
854 ProxyCommand ssh sable.crans.org -W %h:%p
856 Host fz-ilo.adm fz-ilo fz-ilo fz-ilo.adm.crans.org
857 HostName fz-ilo.adm.crans.org
860 ProxyCommand ssh sable.crans.org -W %h:%p
861 HostKeyAlgorithms ssh-rsa
863 Host fz.adm fz fz fz.adm.crans.org
864 HostName fz.crans.org
867 ProxyCommand ssh sable.crans.org -W %h:%p
869 Host kdell-idrac.adm kdell-idrac kdell-idrac kdell-idrac.adm.crans.org
870 HostName kdell-idrac.adm.crans.org
873 ProxyCommand ssh sable.crans.org -W %h:%p
875 Host komaz-ilo.adm komaz-ilo komaz-ilo komaz-ilo.adm.crans.org
876 HostName komaz-ilo.adm.crans.org
879 ProxyCommand ssh sable.crans.org -W %h:%p
880 HostKeyAlgorithms ssh-rsa
882 Host pea.adm pea pea pea.adm.crans.org
883 HostName pea.adm.crans.org
886 ProxyCommand ssh sable.crans.org -W %h:%p
888 Host radius.adm radius radius radius.adm.crans.org
889 HostName radius.adm.crans.org
892 ProxyCommand ssh sable.crans.org -W %h:%p
894 Host sable-ilo.adm sable-ilo sable-ilo sable-ilo.adm.crans.org
895 HostName sable-ilo.adm.crans.org
898 ProxyCommand ssh sable.crans.org -W %h:%p
899 HostKeyAlgorithms ssh-rsa
901 Host slon.adm slon slon slon.adm.crans.org
902 HostName slon.adm.crans.org
905 ProxyCommand ssh sable.crans.org -W %h:%p
907 Host test42.adm test42 test42 test42.adm.crans.org
908 HostName test42.adm.crans.org
911 ProxyCommand ssh sable.crans.org -W %h:%p
913 Host vert.adm ldap.adm vert zelda.adm vert vert.adm.crans.org ldap.adm.crans.org zelda.adm.crans.org
914 HostName vert.adm.crans.org
917 ProxyCommand ssh sable.crans.org -W %h:%p
919 Host zbee-idrac.adm zbee-idrac zbee-idrac zbee-idrac.adm.crans.org
920 HostName zbee-idrac.adm.crans.org
923 ProxyCommand ssh sable.crans.org -W %h:%p
925 Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.adm.crans.org
926 HostName zbee.adm.crans.org
929 ProxyCommand ssh sable.crans.org -W %h:%p
935 # Accessibles aux membres de l'équipe d'admin de FedeRez
937 # Actuellement down, mais on ne sait jamais
938 Host nautilus nautilus.federez.net
939 HostName nautilus.federez.net
943 Host forge forge.federez.net baldrick.federez.net baldrick baldrick.crans.org
944 HostName baldrick.federez.net
948 Host quigon quigon.federez.net
949 HostName quigon.federez.net
953 Host polygon polygon.federez.net
954 HostName polygon.federez.net
958 Host hexagon hexagon.federez.net
959 HostName hexagon.federez.net
964 # +-------------------+
965 # | Serveurs de l'ENS |
966 # +-------------------+
967 # Accessibles aux élèves de l'ENS
969 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
970 HostName tselin.clietu.ens-cachan.fr
972 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
975 HostName tselin2.clietu.ens-cachan.fr
977 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
979 Host tahines.ens-cachan.fr tahines2 tahines
980 HostName tahines.ens-cachan.fr
987 # Parce que je me suis inscrit à la DSI d'Ulm
989 Host clipper clipper.ens.fr
990 HostName clipper.ens.fr
993 Host anat anat.ens.fr
998 Host horus horus.ens.fr
999 HostName horus.ens.fr
1001 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
1003 Host neith neith.ens.fr
1004 HostName neith.ens.fr
1006 ProxyCommand ssh legallic@anat.ens.fr -W %h:%p
1008 Host sas sas.eleves.ens.fr
1009 HostName sas.eleves.ens.fr
1013 # +------------------+
1014 # | Département info |
1015 # +------------------+
1016 # Machines du département informatique de l'ENSC
1018 Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo ssh.dptinfo.ens-cachan.fr
1019 #HostName 138.231.36.60
1020 HostName ssh.dptinfo.ens-cachan.fr
1024 Host dptinfo*.dptinfo.ens-cachan.fr
1027 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1031 HostName dpt%h.dptinfo.ens-cachan.fr
1033 ProxyCommand ssh vlegalli@ssh.dptinfo.ens-cachan.fr -W %h:%p
1040 Host mars mars.lbpa mars.lbpa.ens-cachan.fr
1041 HostName mars.lbpa.ens-cachan.fr
1043 ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
1045 # END (utile pour éviter les merge conflicts)