Rectification de main.ml pour pouvoir compiler vers un fichier.