https://123dok.net/document/y8gprdnr-développement-système-mathnat-formalisation-automatique-textes-mathématiques.html