On étudie le comportement semi-classique d'hamiltoniens quantiques dont le symbole de Weyl est invariant par un groupe de symétries. La réduction quantique consiste à restreindre le hamiltonien aux sous-espaces de symétrie de L^2(R^n) donnés par la décomposition de Peter-Weyl. Les opérateurs restreints sont appelés hamiltoniens quantiques réduits. Pour un groupe fini, on donne une formule de Gutzwiller pour le hamiltonien réduit qui fait intervenir la symétrie d'orbites périodiques classiques du niveau d'énergie étudié. On l'interprète dans l'espace de phase réduit lorsque le groupe agit librement. Pour un groupe de Lie compact, on donne une asymptotique de Weyl de la fonction de comptage des valeurs propres du hamiltonien réduit. On interprète géométriquement le premier terme. On obtient ici aussi une formule de type Gutzwiller impliquant des orbites périodiques de l'espace de phase réduit qui correspondent à des orbites quasi-périodiques de l'espace euclidien.