Lie group
Banach analytic Lie group