https://123dok.net/document/y6e8727z-sub-riemannian-structures-on-groups-of-diffeomorphisms.html