Peut-être le bon commit !!!
- Plus de bug à l'exécution sur les fichiers de tests
- Correct sur ex5.cnf !
- Correct sur ex4.cnf !
... pas vérifié les réponses sur les autres (il faudra faire un prg qui vérifie automatiquement)

Le bug de cette aprèm (assert failure dans dpll) est décrit dans son bug issue
Le bug de ce soir (retour de assert failure avec tentative de double paris) a été résolue (normalement...) et ajouté dans le bug issue d'hier soir
(ce qui est bizarre c'est que ces 2 bugs sont tellement gros que rien n'aurait du marcher, et en particulier pas ex1.cnf ce matin...)