https://9lib.org/document/q7woxxlo-efinitions-lexicographiques-enonc-efinitoires.html