diff --git a/.ssh/config b/.ssh/config
index 5a13c9112a76be14fef03c259efba675dff803e0..cee0f71bbe5f5fd92fce694ef092289b7f7ffdbc 100644
--- a/.ssh/config
+++ b/.ssh/config
@@ -719,6 +719,7 @@ Host zbee.adm fx.adm nfs.adm zbee zbee zbee.adm.crans.org nfs.adm.crans.org fx.a
 Host tselin tselin.clietu tselin.clietu.ens-cachan.fr acces1.rip.ens-cachan.fr acces1 rip
     HostName tselin.clietu.ens-cachan.fr
     User loginENS
+    ProxyCommand ssh loginENS@tahines.ens-cachan.fr -W %h:%p
 
 Host tahines.ens-cachan.fr tahines2 tahines
     HostName tahines.ens-cachan.fr