Les espaces de Berkovich sont angéliques

Abstract: Although Berkovich spaces may fail to be metrizable when defined over too big a field, we prove that a large part of their topology can be recovered through sequences: for instance, limit points of subsets are actual limits of sequences and compact subsets are sequentially compact. Our proof uses extension of scalars in an essential way and we need to investigate some of its properties. We show that a point in a disc may be defined over a subfield of countable type and that, over algebraically closed fields, every point is universal: in an extension of scalars, it may be canonically lifted.