1: \begin{abstract}

2: \if{

3: We prove the finiteness of the convergence Newton polygon of a 

4: $p$-adic differential equation $\Fs$ over an affinoid domain $X$ 

5: of the Berkovich affine line. Roughly speaking the slopes of the polygon

6: are the logarithms of the radii of convergence of the solutions of $\Fs$, 

7: in increasing order, counted with multiplicity. 

8: We prove that the radii of convergence of the solutions 

9: are continuous functions on $X$ that factorize through the retraction of 

10: $X\to\Gamma$ of $X$ onto a finite graph $\Gamma\subseteq X$. 

11: This finiteness result means that the behavior of the radii as 

12: functions on $X$ is controlled by a \emph{finite} family of data.

13: }\fi

14: We prove that the radii of convergence of the solutions of a 

15: $p$-adic differential equation $\Fs$ over an affinoid domain $X$ of the Berkovich affine line

16: are continuous functions on $X$ that factorize through the retraction of 

17: $X\to\Gamma$ of $X$ onto a finite graph $\Gamma\subseteq X$. 

18: We also prove their super-harmonicity properties.

19: This finiteness result means that the behavior of the radii as 

20: functions on $X$ is controlled by a \emph{finite} family of data.

21: \end{abstract}