correction de main de tseitin