nettoyage de code de Tseitin