Procédé pour détecter la présence d'un élément chiffré homomorphe dans un ensemble chiffré homomorphe