Ajout du prétraitement des clauses de taille 1 et des variables apparaissant avec une seule polarité