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. 
C. Favre
math.AG