tout groupe de lie g est naturellement inclus par translation à gauche dans son groupe des difféomorphismes et diffg est le produit semi-direct de ce sous-groupe par le sous-groupe diffge des difféomorphismes qui fixent lélément neutre e de g