Update fenetre_graphique.ml