Proper Lie groupoids are real analytic | Publicación