Recherche du bug dans Tseitin