I just say that I have failed with the terminal
jack@jack:~$ sudo apt-key adv --keyserver hkp://keys.gnupg.net --recv-key EF1B07FEE0EE663E
[sudo] Mot de passe de jack :
Executing: /tmp/apt-key-gpghome.BM7d7Ya14E/gpg.1.sh --keyserver hkp://keys.gnupg.net --recv-key EF1B07FEE0EE663E
gpg: échec de réception depuis le serveur de clefs : No name
jack@jack:~$ sudo apt-get install dirmngr
Lecture des listes de paquets... Fait
Construction de l'arbre des dépendances
Lecture des informations d'état... Fait
dirmngr est déjà la version la plus récente (2.2.12-1+deb10u1).
0 mis à jour, 0 nouvellement installés, 0 à enlever et 122 non mis à jour.
jack@jack:~$ sudo apt-key adv --keyserver hkp://keys.gnupg.net:80 --recv-key EF1B07FEE0EE663E
Executing: /tmp/apt-key-gpghome.jHKNsl24Lc/gpg.1.sh --keyserver hkp://keys.gnupg.net:80 --recv-key EF1B07FEE0EE663E
gpg: échec de réception depuis le serveur de clefs : No name
jack@jack:~$ sudo apt-key adv --keyserver hkp://keys.gnupg.net --recv-key EF1B07FEE0EE663E
Executing: /tmp/apt-key-gpghome.NHujYBZFIu/gpg.1.sh --keyserver hkp://keys.gnupg.net --recv-key EF1B07FEE0EE663E
gpg: échec de réception depuis le serveur de clefs : No name