\section{Future works}
\subsection{Subrieg and Atomic quotients}
\memo{Simon Henry's isotropy group of a topos.}

\subsection{Riegs of $\infty$-groupoids}
Riegs of homotopy types.