Parsing sur des formules LTL implémenté en Ocaml