Théorème de la complète réductibilité des représentations des groupes finis