Mot : gras
Catégorie : Adj
Définition : Se dit d'une partie contenant une intersection dénombrable d'ouverts denses.