rigid analytic spaces