Soit un corps de nombres contenant et muni d’un groupe d’automorphismes d’ordre étranger à ; pour toute représentation -irréductible de , de caractère , et tout -module , soit rg l’entier maximum tel que contienne . Nous établissons par exemple la formule générale explicite suivante :où et sont des ensembles finis disjoints de places de tels que contienne les places au-dessus de , où est le groupe de classes généralisées qui correspond, par le corps de classes, au...