ma dernière maj du jour :
- il faut bien laisser la ligne à laquelle tu fais référence dans dpll. J'ai ajouté des explications, je sais pas si c'est très clair, je t'expliquerai + en détail si tu veux
- pb à la compil sur l'exception Clause_vide (si tu utilise l'exception Exit qui existe déjà ça marche)
- le pb d'assert failure (tentative de double paris) revient sur ex2.cnf ... (et accessoirement le résultat pour ex1.cnf n'est pas correct)
Merge branch 'master' of https://github.com/nagaaym/projet2