リー群
Banach analytic Lie group