Complex_analytic_space