{
  programs.ssh.extraConfig = ''
        Host telecom-bastion
    		HostName ssh.enst.fr
    		User jmalka
                IdentityFile /home/luj/.ssh/id_ed25519

        Host lame11
    		Hostname lame11.enst.fr
    		User nix-remote-builder
    		ProxyJump telecom-bastion
                IdentityFile /home/luj/.ssh/id_ed25519
        Host lame10
    		Hostname lame10.enst.fr
    		User nix-remote-builder
    		ProxyJump telecom-bastion
                IdentityFile /home/luj/.ssh/id_ed25519
        Host lame12
    		Hostname lame12.enst.fr
    		User nix-remote-builder
    		ProxyJump telecom-bastion
                IdentityFile /home/luj/.ssh/id_ed25519
        Host lame16
    		Hostname lame16.enst.fr
    		User nix-remote-builder
    		ProxyJump telecom-bastion
                IdentityFile /home/luj/.ssh/id_ed25519
        Host lame17
    		Hostname lame17.enst.fr
    		User nix-remote-builder
    		ProxyJump telecom-bastion
                IdentityFile /home/luj/.ssh/id_ed25519

  '';

}