Version très provisoire de LTL.ml