Merge branch 'perso' into taf

Conflicts:
	.ssh/config

diff --cc .ssh/config
index d2ee7b5b776023035498f7cd8e4dcc04c8d56b8d,f465ad13079c841b6ab9fe09237501a7a3d7a05a..28938119f747f4573a9669a814837693de42f58a
--- 1/.ssh/config
--- 2/.ssh/config
+++ b/.ssh/config
@@@ -1081,16 -1087,13 +1087,24 @@@ Host mars mars.lbpa mars.lbpa.ens-cacha
      User vincent
      ProxyCommand ssh vlegalli@tahines.ens-cachan.fr -W %h:%p
  
+ # +---------+
+ # | Télécom |
+ # +---------+
+ 
+ Host rabban rabban.enst.fr
+     HostName rabban.enst.fr
+     User legallic
+ 
  # END (utile pour éviter les merge conflicts)
  
 +# +---------+
 +# | Télécom |
 +# +---------+
 +# Parce que c'est là que je bosse
 +
 +# Namého !
 +Host *
 +    ForwardX11 no
 +
 +# Pas besoin de config spécifique à part ça
 +# le ForwardAgent yes est déjà dans /etc/ssh/ssh_config