+
+# +------------------+
+# | Département info |
+# +------------------+
+# Machines du département informatique de l'ENSC
+# Accesibles aux A0
+
+Host dptinfo21.dptinfo.ens-cachan.fr info21 infossh ssh.dptinfo
+ #HostName 138.231.36.60
+ HostName ssh.dptinfo.ens-cachan.fr
+ User loginENS
+ ForwardAgent yes
+
+Host dptinfo*.dptinfo.ens-cachan.fr
+ HostName %h
+ User loginENS
+ ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
+ ForwardAgent yes
+
+Host info*
+ HostName dpt%h.dptinfo.ens-cachan.fr
+ User loginENS
+ ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p
+ ForwardAgent yes
+
+
+# END (utile pour éviter les merge conflicts)
+