version un peu plus propre du solver pour prendre en compte les clauses de taille 1