Ajout du fichier mzn fournit par le prof