An a priori bound for rational functions on the Berkovich projective line

On établit une majoration locale a priori pour la dynamique d’une fraction rationnelle f de degré > 1 sur la droite projective de Berkovich sur un corps algébriquement clos de caractéristique quelconque et complet pour une norme non archimédienne non triviale. On en déduit un résultat d’équidistribution pour des cibles mobiles vers la mesure d’équilibre (ou la mesure canonique) µ f de f, sous condition que f n’a pas de bonnes réductions potentielles. Cela répond en partie à une question posée par Favre et Rivera-Letelier. On obtient aussi un résultat d’équidistribution pour la distribution moyenne de valeurs des dérivées des polynômes itérés. We establish a local a priori bound on the dynamics of a rational function f of degree > 1 on the Berkovich projective line over an algebraically closed field of arbitrary characteristic that is complete with respect to a nontrivial and non-archimedean absolute value, and deduce an equidistribution result for moving targets towards the equilibrium (or canonical) measure µ f of f, under the no potentially good reduction condition. This partly answers a question posed by Favre and Rivera-Letelier. We also obtain an equidistribution on the averaged value distribution of the derivatives of the iterated polynomials.