Mot : hausdorff
Catégorie : NP
Définition : Felix Hausdorff.