https://123dok.net/document/q057j1gy-description-formelle-de-proprietes-geometriques.html