I am looking for a reference treating the slice theorem for Banach Lie group actions on Banach manifolds, i.e. proving that a smooth, free and proper action of a Banach Lie group $G$ on a Banach manifold $M$ with embedded orbits ensures that the quotient $M/G$ inherits the structure of a Banach manifold, s.t. $M\rightarrow M/G$ becomes a $G$-principal bundle.

I know this is briefly treated in Bourbaki's "Lie groups and Lie algebras". Unfortunately, in the proof they refer to the Bourbaki book "differentiable and analytic manifolds" which is not available to me.

Could anyone please provide me with a reference?