guepard:/home/pierre# gpg --keyserver pgp.mit.edu --recv-keys 07DC563D1F41B907
gpg: requesting key 1F41B907 from hkp server pgp.mit.edu
gpg: key 1F41B907: duplicated user ID detected - merged
gpg: key 1F41B907: "Christian Marillat <marillat@debian.org>" not changed
gpg: Total number processed: 1
gpg:              unchanged: 1
guepard:/home/pierre#