Infinite dimensional Lie group