changement du main.ml, avec la creation d'une sauvegarde du précédent