A compactness theorem for locally homogeneous spaces

We prove the existence and uniqueness of geometric models of local isometry classes of locally homogeneous spaces with sectional curvature $\mathrm{\mid }\sec \mathrm{\mid }\le 1$. Moreover, we show that the set of geometric models is compact in the pointed ${\mathcal{C}}^{1,\alpha }$-topology.