J'en ai marre de taper `ssh -i ~/.ssh/mykey [email protected]`. Montre-moi comment configurer le fichier `~/.ssh/config` pour avoir des alias : 1. Un alias `prod` pour mon serveur production (User, Host, IdentityFile). 2. Un alias `github-perso` pour utiliser une clé spécifique pour Git. 3. Comment se connecter ensuite avec une simple commande.