Nettoyage de compilateur.ml