OpenPGP keys used by Vincent Lefèvre
