Manifolds with constant sectional curvature