A HAG context for analytic geometry