https://123dok.net/document/zpn782j7-normes-invariantes-difféomorphismes-span-class-mathjax-formula-span.html