Une généralisation du théorème de Myers-Steenrod aux pseudogroupes d'isométries
On montre que tout pseudogroupe d’isométries locales d’une variété riemannienne, qui est complet et fermé pour la topologie est un pseudogroupe de Lie. Ce résultat généralise au cas des pseudogroupes le théorème de S. Myers et N. Steenrod selon lequel le groupe des isométries d’une variété riemannienne est un groupe de Lie.