Countability properties of some Berkovich spaces

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.Comment: 11 page