
\begin{rap}
    Si $G$ est séparable et $\exists D \subseteq G$ dénombrable et dense, alors la topologie est $\sigma$-compacte.
\end{rap}


Rappel : Si $G$ est séparable et $\exists D \subseteq G$ dénombrable et dense alors $G$ est $\sigma$-compact.
