A Lie group structure on the group of real analytic diffeomorphisms of a compact real analytic manifold with corners
J.M. Eyni, (2015).