Longitudinal smoothness of the holonomy groupoid

Iakovos Androulidakis et Georges Skandalis ont défini un groupoïde dʼholonomie pour tout feuilletage singulier. Ce groupoïde, dont la topologie est généralement assez singulière, est le point de départ dʼun calcul pseudodifferentiel longitudinal ainsi que dʼune théorie de lʼindice pour de tels feuilletages. Ces travaux sont grandement simplifiés sous lʼhypothèse de différentiabilité longitudinale du groupoïde dʼholonomie. Dans cette note, nous réinterprétons le period bounding lemma pour montrer que le groupoïde dʼholonomie est toujours longitudinalement lisse.