[ssh-config] ajout des ssh campus