https://123dok.net/document/z1d399p8-corps-enveloppants-algèbres-lie-dimension-infinie-caractéristique-positive.html