Théorème de la réductibilité complète (algèbre de Lie semi-simple)