Longitudinal smoothness of the holonomy groupoid

Iakovos Androulidakis and Georges Skandalis have defined a holonomy groupoid for any singular foliation. This groupoid, whose topology is usually quite bad, is the starting point for the study of longitudinal pseudodifferential calculus on such foliation and its associated index theory. These studies can be highly simplified under the assumption of the holonomy groupoid being longitudinally smooth. In this note, we rephrase the period bounding lemma that asserts that a vector field on a compact manifold admits a strictly positive lower bound for its periodic orbits in order to prove that the holonomy groupoid is always longitudinally smooth.