Théorème de décomposition des algèbres de Lie semi-simples (somme directe d'idéaux simples)