Banach-Lie quotients, enlargibility, and universal complexifications
H. Glöckner, K.-H. Neeb, Journal Für Die Reine Und Angewandte Mathematik 560 (2003) 1–28.