46G20 - Functional analysis :: Measures, integration, derivative, holomorphy :: Infinite-dimensional holomorphy