Concept

Espace dénombrablement compact