The Frobenius theorem for Banach distributions on infinite-dimensional manifolds and applications in infinite-dimensional Lie theory
J.M. Eyni, (2014).