ajout de la transformation de tseitin (version de base)