We construct a local chart near the identity for analytic Lie pseudogroups
of infinite type. The underlying manifold structure is modelled on an induc
tive limit of Banach spaces, endowed with the Silva differential calculus.
(C) 2000 Academie des sciences/Editions scientifiques et medicales Elsevier
SAS.