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)
(je regarderai le nouveau find_singleton demain)