Source: https://www.imo.universite-paris-saclay.fr/~moreau/M2-cours_Algebres_Lie.pdf