Une forme restreinte de la condition de recherche utilisée dans les contraintes de vérification.