Lie groups of real analytic diffeomorphisms are L^1-regular
H. Glöckner, ArXiv:2007.15611 (2020).