Retrait d'affichages a la con
Probleme avec la conversion en CNF de la formule b ou ~c
OutOfMemoryError lors de l'appel a isStatisfiable()