Revert "Amélioration de la morkitu du script de test pour les entrées satisfiables"

This reverts commit b83577438c28545bdd0cd88f09e6c3c5ccd1a2b5.
Revert "Revert "Amélioration de la morkitu du script de test pour les entrées satisfiables""

This reverts commit 266f0508bc4208df1081fb328885893245cf685a.
Revert "Petit ajout : on traite le cas des clauses de taille 1 quand on les parse"

This reverts commit b081f25b2735b1921be570b01b41a540197baf58.
Un test qui renvoie pas le bon résultat. Je vois ce qui ne va pas, mais il est tard...