changement de tseitin pour utiliser un arbre syntaxique