Une (grosse) réponse sur StackOverflow concernant la gestion de plusieurs clés SSH pour des serveurs git. Utile !