PGP : déchiffrer tous ses mails pour profiter de la recherche intégrée