Analytic Linearization and Holomorphic Extensions of Proper Groupoids

We establish analytic linearization of s-proper analytic groupoids around invariant submanifolds. We apply this result to show that any such groupoid admits a holomorphic extension.