Smooth Lie groups over local fields of positive characteristic need not be analytic
H. Glöckner, J. Algebra 285 (2005) 356–371.