https://123dok.net/document/q0543l9g-ts-td-types-raisonnements-utilisés-mathématiques-notation.html