Clefs

Si la clef n’est pas obtenue automatiquement comme dans la variante (2) d’add-apt-repository, on fait :

apt-key adv --keyserver keyserver.ubuntu.com --recv-keys FEA4973F86A9A497

(la clef de Sebastian Rahtz pour la TEI dans cet exemple) où le numéro est celui qu’on trouve dans le message d’erreur de la mise à jour des dépôts si on ne l’a pas trouvé ailleurs.