# ProxyCommand = pour passer par un autre serveur intermédiaire
# (pour un serveur qui ne peut pas être contacté directement)
+UserKnownHostsFile ~/.ssh/known_hosts ~/.ssh/known_hosts_crans ~/.ssh/known_hosts_dptinfo
# +--------------+
# | Mes machines |