Sur les $C^*$-algèbres

Soit A une C*-algbre (c'est--dire une algbre de Banach involutive dans laquelle la norme vrifie l'axiome || x^ x || == || x j| 2 ). Nous noterons A' 1 l'ensemble des idaux primitifs de A, muni de la topologie de Jacobson : rappelons que, dans cette topologie, l'adhrence d'un ensemble d'idaux primitifs (Pi) est l'ensemble des idaux primitifs contenant n Pi.