Modif latex.ml