ajout du fichier carré latin + debut correction tseitin