https://123dok.net/document/y8gxmxmr-outil-vérification-formelle-légere-ocaml.html