Formules de classes pour les corps abéliens réels
Nous montrons des raffinements -adique et “caractères par caractères” de la formule d’indice de Sinnott pour un corps abélien totalement réel. De tels raffinements ont aussi été obtenus par Kuz’min avec des méthodes différentes (voir les commentaires en introduction). Nous donnons des applications à la théorie d’Iwasawa des unités semi- locales et cyclotomiques.