We will discuss quotients of Banach manifolds with respect to free actions of pseudogroups of local diffeomorphisms. In particular, we investigate leaf spaces of regular foliations without holonomy and their relation to Lie theory. The presentation is based on joint work with Fernand Pelletier.