https://123dok.net/document/z3d4d11e-caractérisations-métriques-des-ensembles-ordonnés-semi-modulaires.html