https://123dok.org/document/nzw59o1z-algebras-complete-hoermander-vector-fields-lie-group-construction.html