L'administrateur système d'un projet sur lequel je suis a décidé que SSH est "trop de problèmes"; à la place, il a configuré Git pour qu'il soit accessible via une https://URL (et une authentification par nom d'utilisateur / mot de passe). Le serveur de cette URL présente un certificat...