Toute [représentation réelle ou complexe de dimension finie d'un groupe topologique compact G est équivalente à une représentation unitaire.