Geodesic spheres and isometric flows
We propose a definition of a Riemannian groupoid, and we show that the Stefan foliation that it induces is a Riemannian (singular) foliation. We also prove that the homotopy groupoid of a Riemannian (regular) foliation is a Riemannian groupoid.