Host tehachix.esiee.fr
        Port 12345
        Hostname clubnix.esiee.fr
        HostKeyAlias tehachix.esiee.fr