let lecture_et_resolution file =
        print_string ("\nLecture de l'instance enregistrée dans le fichier : "^file);
        let mon_instance = (lecture_instance file) in
        print_string "\nDébut de la résolution";
        try  (
                let plateau_courant = (resoud_naivement mon_instance) in
                print_plateau plateau_courant;
                ecriture_plateau ~p:plateau_courant ~file:("solution_"^file);
                ()
        ) with
                |Aucune_solution                -> print_string "\n\t\t/!/ \tErreur Aucune solution !\n";
                |Mauvais_tableau                -> print_string "\n\t\t/!/ \tErreur Mauvais tableau !\n";
                |Erreur_compatibilite_h(_,_)        -> print_string "\n\t\t/!/ \tErreur compatibilite h !\n";
                |Erreur_compatibilite_v(_,_)        -> print_string "\n\t\t/!/ \tErreur compatibilite v !\n";
        ()