Filtrage des clauses automatiquement satisfiable en entree