Debugage de la conversion de Tseitin, TODO : tester plus de cas