extension theorem of Whitney in infinite dimension
inverse function theorem for differentiable manifolds with corners
scientific article