Commit des fichiers du MinSat et de l'initialisation des contraintes