Every smooth p-adic Lie group admits a compatible analytic structure
H. Glöckner, Forum Mathematicum 18 (2006) 45–84.