+Host zeldrenviatahinesviapimeys
+ HostName zeldren.crans.org
+ User vincent
+ ProxyCommand ssh tahinesviapimeys -W %h:%p
+
+Host tahinesviapimeys
+ HostName tahines.ens-cachan.fr
+ User vlegalli
+ ProxyCommand ssh pimeys.fr -W %h:%p
+
+Host zeldren.crans.org zeldren
+ HostName zeldren.crans.org
+ User vincent
+ ForwardAgent yes
+