fonctions index_clauses et contient_insatisfaite