Pour les 8 chiffres je pense que c'est un bug.
> Le man de apt-get ne parle pas du tout de la gestion des clés, les docs
> du package apt-doc n'ont pas été mises à jour depuis des années et
> Google reste muet.
Tu as mal cherché. C'est même documenté avec ma clé :)
