clean ssh config

.ssh/config

@@ -1,22 +1,5 @@
 AddKeysToAgent confirm
 
-Host proxy_pp hindley hindley.adh.auro.re
-    HostName hindley.adh.auro.re
-    User histausse
-
-Host haskell
-    HostName 45.66.110.112
-    User histausse
-
-Host lovelace lovelace.adh.auro.re
-    HostName lovelace.adh.auro.re
-    User histausse
-
-Host azerty azerty.fil.sand.auro.re
-    Hostname azerty.fil.sand.auro.re
-    ProxyJump proxy_pp
-    User histausse
-
 Host 10.128.0.* *.adm.auro.re
 #    ProxyJump passerelle.auro.re
     ProxyJump camelot.auro.re
@@ -44,55 +27,12 @@ Host perso-telecom
 Host 172.20.*.*
     User histausse
 
-Host vps-a862b615.vps.ovh.net
-    User admin
-    IdentityFile ~/.ssh/id_medarus
-
-Host groseille
-    Hostname 10.50.3.250
-    User pi
-
-Host synapse
-    Hostname nyx.ovh
-    Port 4502
-    User histausse
-
-Host example.fr
-    HostName hindley.adh.auro.re
-    User histausse
-
 Host krypton
     Hostname nyx.ovh
     Port 4503
     User histausse
 
-Host shannon
-    Hostname 192.168.42.1
-    User root
-
 Host proxy_eurecom
     Hostname ssh.eurecom.fr
     HostKeyAlgorithms +ssh-rsa
     User mineau
-
-Host gitea.auro.re
-    User git
-    ProxyJump hindley
-
-Host ubuntusnap2
-    Hostname 192.168.56.5
-    User histausse
-    IdentityFile ~/.ssh/id_local
-
-Host centossnap
-    Hostname 192.168.56.4
-    User histausse
-    IdentityFile ~/.ssh/id_local
-
-Host syssec
-    Hostname syssec-lab.s3.eurecom.fr
-    User histausse
-
-Host goadec
-    Hostname goadec.home
-    User histausse