*********************************
NdW : in french, compact means "(quasi-)compact + Hausdorff (T2)"
Généralisation du "spectre maximal comme sous-espace induit par Zariski". Sous-espaces et sous-topos.
"Sobrification" de l'espace des idéaux maximaux d'un anneau (p.ex. d'une C*-algèbre, qui est Hausdorff donc sobre)
Remarque : en analyse fonctionnelle, contrairement à la géométrie algébrique, ce sont les idéaux maximaux qui sont intéressants.
Countably compact Alexandrov algebra
Définition des algèbres d'Alexandrov.