readme maj
ajout du module Make dans tseitin