Perspectives sur la théorie des pseudogroupes de transformations analytiques de type infini (Q1377251)

The authors study the local structure of Lie pseudogroups of infinite type by using the Lie groups of infinite dimension. They consider the formal integration and some formal pseudogroups and obtain a fundamental theorem of the third Lie theorem type in the theory of Lie groups, for a class of transitive Lie pseudogroups of infinite type.