Ajout de la transformée de Tseitin.
Correction de bugs mineurs.
Resolution de l'affichage de la valuation pour Tseitin.