Ajout d'un fichier minizinc de test