Je note ici ce qui vient de me coûter 2 heures, pour déployer une clef privée SSH.