Countability properties of some Berkovich spaces

C. Favre

We prove that any compact Berkovich space over the field of Laurent series over an arbitrary field is angelic. In particular, is it sequentially compact.