simplification de code de tseitin