https://123dok.net/document/y8g7l0ww-actions-groupes-mathjax-formula-variétés-séparées-feuilletages-codimension.html