Formal classification of differential equations and Berkovich spaces