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


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