Thomas Gauthier

Gabriel Vigny

DISTRIBUTION OF POSTCRITICALLY FINITE POLYNOMIALS II: SPEED OF CONVERGENCE by

In the moduli space of degree d polynomials, we prove the equidistribution of postcritically finite polynomials toward the bifurcation measure. More precisely, using complex analytic arguments and pluripotential theory, we prove the exponential speed of convergence for C 2 -observables. This improves results obtained with arithmetic methods by Favre and Rivera-Letellier in the unicritical family and Favre and the first author in the space of degree d polynomials. We deduce from that the equidistribution of hyperbolic parameters with (d -1) distinct attracting cycles of given multipliers toward the bifurcation measure with exponential speed for C 1 -observables. As an application, we prove the equidistribution (up to an explicit extraction) of parameters with (d -1) distinct cycles with prescribed multiplier toward the bifurcation measure for any (d -1) multipliers outside a pluripolar set.

Introduction

In a holomorphic family (f λ ) λ∈Λ of degree d ≥ 2 rational maps, Mañé, Sad ans Sullivan [MSS] studied quite precisely the notion of J-stability. In particular, they related the instability of critical orbits under small perturbations of the dynamics and instability of periodic cycles (see also [Ly]).

This description has been enriched by DeMarco [START_REF] Demarco | Dynamics of rational maps: a current on the bifurcation locus[END_REF] who introduced a current T bif which is supported exactly on the bifurcation locus. This current and its self-intersections reveal to be an appropriate tool to study bifurcations from a measurable viewpoint. Now, consider the particular case of the moduli space P d of critically marked complex polynomials of degree d modulo conjugacy by affine transformations. In that space, the maximal self-intersection of the bifurcation current induces a bifurcation measure µ bif , introduced by Bassanelli and Berteloot [START_REF] Bassanelli | Bifurcation currents in holomorphic dynamics on P k[END_REF], which may be considered as the analogue of the harmonic measure of the Mandelbrot set when d ≥ 3. The support of this measure is where maximal bifurcation phenomena occur. Recall that a polynomial is postcritically finite if all its critical points have finite orbit, it is postcritically finite hyperbolic if all its critical points are periodic cycle (the Julia set of such polynomials is then hyperbolic). Recall that a polynomial is postcritically finite if all its critical points have finite orbit. Using the bifurcation measure, it is proved in [START_REF] Bassanelli | Bifurcation currents in holomorphic dynamics on P k[END_REF] that its support is accumulated by postcritically finite hyperbolic parameters (which are in a certain way the most stable parameters) and that it coincides with the closure of parameters having a maximal number of neutral cycles. Still using the bifurcation measure, the first author also showed in [G1] that its support has maximal Hausdorff dimension.

As the bifurcation locus of the moduli space P d is a complicated fractal set, a natural approach is to study it on some dynamical slices. In particular, one can study the maps having a superattracting orbit of fixed period n. The study of such a set is difficult and involves naturally arithmetic, combinatorics, topology and complex analysis (see e.g. [M2]). Furthermore, to understand the global geography of the moduli space P d , it is useful to approximate the bifurcation current (resp. the bifurcation measure) by dynamically defined hypersurfaces (resp. finite sets). Following the topological description of the bifurcation locus given by [MSS], one can try to approximate the bifurcation currents by different types of phenomena: existence of critical orbit relations or periodic cycles of given nature.

Let us focus first on the simplest case of the unicritical family, i.e. the family defined by p c (z) := z d + c, c ∈ C. Consider the set Per(n) := {c ∈ C ; p n c (0) = 0} of parameters that admit a superattractive periodic point of period dividing n. Recall that the Multibrot set M d is defined by M d := {c ∈ C ; J c is connected}. Beware that M d is a non-polar connected compact set. Finally, let µ M d be the harmonic measure of M d . Then, the first result in this direction goes back to Levin [Le]. In the quadratic family (d = 2), he proved that the measure equidistributed on the set Per(n) converges to the harmonic measure of the Mandelbrot set, as n → ∞. Favre and Rivera-Letelier [FRL] gave a quantitative version of Levin's in the unicritical family, using arithmetic methods. Namely, they proved that there exists C > 0 such that for any n ≥ 1 and ϕ ∈ C 1 c (C):

1 d n-1 c∈Per(n) ϕ(c) - C ϕ µ M d ≤ C n d n 1 2 ϕ C 1 .
Using complex analytic potential theory, we prove here the following.

Theorem A. -Let d ≥ 2. Then, there exists a constant C > 0 depending only on d such that for any ϕ ∈ C 2 c (C) and any n ≥ 1,

1 d n-1 c∈Per(n) ϕ(c) - C ϕ µ M d ≤ C n d n ϕ C 2 .
A classical interpolation argument immediately gives Favre and Rivera-Letelier's above result. We shall also give a similar estimate for non-postcritically finite hyperbolic parameters in Section 4.

More recently, this subject has been intensively studied in the moduli space P d for d ≥ 3. As the critical points are marked, i.e. can be followed holomorphically in the whole moduli space P d , the bifurcation current decomposes as T bif = P ′ (c)=0 T c (see §2.1 for the definition of T c ). For n > k ≥ 0, let Per c (n, k) := {[P ] ∈ P d ; P n (c) = P k (c)} . Refining Levin's approach, Dujardin and Favre prove in [DF] that for any sequence k(n) satisfying 0 ≤ k(n) < n, the sequence d -n [Per c (n, k(n))] converges to T c in the weak sense of currents on P d . Recently, Okuyama [START_REF] Okuyama | Equidistribution of rational functions having a superattracting periodic point towards the activity current and the bifurcation current[END_REF] gave a simplified proof of their result in the case k(n) = 0.

Compared to the unicritical family, a significant difficulty comes from the fact that two distinct critical points can very well be, at some parameter, in the immediate Fatou component of the same attractive periodic point. To overcome that, for n ≥ 1 and w ∈ C, we let Per * (n, w) := {[P ] ∈ P d ; P has a cycle of multiplier w and exact period n} .

The set Per * (n, w) happens to be a complex hypersurface of degree (d -1)d n ∼ (d -1)d n , where d n ≥ 1 is defined by induction by d 1 = 1 and d n = k|n d k for n ≥ 2. It is known that, for a fixed w ∈ C, the sequence d -n [Per * (n, w)] converges weakly to T bif on the moduli space P d . The case |w| ≤ 1 has been established by Bassanelli and Berteloot [BB3] using an approximation formula for the Lyapunov exponent (see also [START_REF] Bassanelli | Lyapunov exponents, bifurcation currents and laminations in bifurcation loci[END_REF]). The more delicate case |w| > 1 has been proved recently by the first author in [G2] (see also [START_REF] Buff | Quadratic polynomials, multipliers and equidistribution[END_REF] for the case of quadratic polynomials with changing multipliers).

Building on arithmetic methods, Favre and the first author [FG] proved that postcritically finite hyperbolic parameters with (d -1) distinct super-attracting cycles (resp. strictly postcritically finite parameters with given combinatorics) equidistribute towards the bifurcation measure. The proof developped in that work is only qualitative, since there exists no effective version of Yuan's arithmetic equidistribution Theorem. It also raises the question to know whether the result is of purely arithmetic nature or not. We consider the present work as a continuation of [FG].

Statement of the main results. -Our main goal here is twofold. First, we want to establish a quantitative equidistribution theorem for postcritically finite hyperbolic parameters. Second, we aim at giving a simpler proof than the one of [FG], relying only on pluripotential theoretic and complex analytic arguments. To our purposes, as in the recent works [START_REF] Dujardin | Distribution of rational maps with a preperiodic critical point[END_REF][START_REF] Bassanelli | Distribution of polynomials with cycles of a given multiplier[END_REF][START_REF] Gauthier | Equidistribution towards the bifurcation current I: multipliers and degree d polynomials[END_REF][START_REF] Favre | Distribution of postcritically finite polynomials[END_REF], we shall use the following "orbifold" parametrization of the moduli space P d . For (c, a) = (c 1 , . . . , c d-2 , a) ∈ C d-1 , we let

P c,a (z) := 1 d z d + d-1 j=2 (-1) d-j σ d-j (c) z j j + a d , z ∈ C , where σ ℓ (c) is the monic symmetric polynomial of degree ℓ in (c 1 , . . . , c d-2 ). Observe that the canonical projection (c, a) ∈ C d-1 → {P c,a } ∈ P d is a finite branched cover of degree d(d -1
) and that the critical points of P c,a are exactly c 0 , c 1 , . . . , c d-2 with the convention that c 0 := 0 (see Section 5.1 for details). For an integer n ∈ N * , we let σ(n) be the sum of its divisors σ(n) := k|n k. The function σ is known to be bounded from above by Cn log log n for some constant C > 0 independent of n.

Our main result may be stated as follows. ), if µ n is the probability measure equidistributed on the set of parameters in C d-1 for which the critical point c i is periodic of exact period n i for all i, we have

Theorem

C d-1 ϕ µ n - C d-1 ϕ µ bif ≤ C max 1≤j≤d-1 σ(n j ) d n j ϕ C 2 .
The first ingredient of the proof is a (slight generalization) of a very general dynamical property established by Przytycki: if a critical point c of a rational map f does not lie in an attracting basin f , the points c and f n (c) can not be to close (see Lemma 3.1). The idea to use Przytycki estimate in this context has been introduced by Okuyama [START_REF] Okuyama | Equidistribution of rational functions having a superattracting periodic point towards the activity current and the bifurcation current[END_REF] (see also [START_REF] Okuyama | Quantitative approximations of the lyapunov exponent of a rational function over valued fields[END_REF]) and constitutes the starting point of our work. Combined with known global properties of the family (P c,a ) (c,a)∈C d-1 , this allows us to have precise pointwise estimates outside some specific "bad" hyperbolic components. The second important tool is a transversality result for critical periodic orbit relations proved in [FG] and relying on Epstein's transversality theory (see [E]). The last important ingredient we use is a L 1 estimate for specific solutions of the Laplacian in a bounded topological disk of an affine curve of C d-1 , which proof crucially relies on length-area estimates (see Theorem 3.2). This allows us to replace an estimate involving the diameter of hyperbolic components with their volume. This actually is a key step, since even in the quadratic family, estimating the diameter of hyperbolic components is a very delicate problem related to the famous hyperbolicity conjecture.

Nevertheless, notice that, in the context of the unicritical family, the equation p n c (0) = 0 is known to have simple roots so we do not need to exclude parameters with a periodic critical point of period dividing n. As a consequence, we do not use transversality statements à la Epstein. Hence, we will start by the proof of Theorem A which is simpler and more efficient than in the general case. We may regard this as a model for the general case.

Following the strategy of the proof of [START_REF] Favre | Distribution of postcritically finite polynomials[END_REF]Theorem 3], we can deduce from Theorem B a speed of convergence for the measure equidistributed on the (finite) set of parameters admitting (d -1) distinct attracting cycles of given respective multipliers w 0 , . . . , w d-2 ∈ D and of given mutually distinct periods towards µ bif . Let us be more precise and pick a (d -1)-tuple n := (n 0 , . . . , n d-2 ) of mutually distinct positive integers and w := (w 0 , . . . ,

w d-2 ) ∈ C d-1 . When the set d-2 i=0 Per * (n i , w i ) is finite, let µ n,w := 1 (d -1)! j d n j d-2 j=0 [Per * (n j , w j )] .
Notice that µ n,w is a probability measure and that, when w ∈ D d-1 , the measure µ n,w is exactly the measure equidistributed on the set of parameters in C d-1 having (d -1) cycles of respective exact period n 0 , . . . , n d-2 and multipliers w 0 , . . . , w d-2 .

The precise result we prove may be stated as follows.

Theorem C. -Pick d ≥ 3. Then there exists a constant C > 0 such that for every w = (w 0 , . . . , w d-2 ) ∈ D d-1 and every (d -1)-tuple of pairwise distinct positive integers n = (n 0 , . . . , n d-2 ) with n 0 ≥ 2, if µ n,w is as above, we have

C d-1 ϕ µ n,w - C d-1 ϕ µ bif ≤ C max 0≤j≤d-2 σ(n j ) d n j , -1 d n j log |w j | 1 2 ϕ C 1 , for any test function ϕ ∈ C 1 c (C d-1
). Combining Theorem C with techniques from pluripotential theory (see e.g. [DTV] and [START_REF] Dinh | Dynamics in several complex variables: endomorphisms of projective spaces and polynomial-like mappings[END_REF]), we can actually prove that for all (d -1)-tuples of multipliers w := (w 0 , . . . , w d-2 ) lying outside a pluripolar set of C d-1 , the measure µ n,w equidistributed on parameters having (d -1) cycles of respective multipliers w 0 , . . . , w d-2 converges towards the bifurcation measure, as soon as the periods of the given cycles grow fast enough:

Theorem D. -Pick any sequence n k = (n 0,k , . . . , n d-2,k
) of (d -1)-tuples of pairwise distinct positive integers such that the series k max j {n -1 j,k } converges. Then there exists a pluripolar set of E ⊂ C d-1 such that for any w = (w 0 , . . . , w d-2 ) ∈ C d-1 \ E, the set d-2 i=0 Per * (n i,k , w i ) is finite for any k and the sequence (µ n k ,w ) k converges to µ bif in the sense of measures.

As an obvious corollary, we can deduce that if we only assume min j {n j,k } → ∞, then, for w outside a pluripolar set, up to extraction (µ n k ,w ) k converges to µ bif in the sense of measures. Here is another immediate and interesting consequence of Theorem D.

Corollary E. -Pick any sequence n k = (n 0,k , . . . , n d-2,k ) of (d -1)-tuples of pairwise distinct positive integers such that the series k max j (n -1 j,k ) converges. Then, for almost any Θ = (θ 0 , . . . , θ d-2 ) ∈ R d-1 , if w(Θ) = (e 2iπθ 0 , . . . , e 2iπθ d-2 ), the sequence (µ n k ,w(Θ) ) k converges to µ bif in the sense of measures.
Notice that Bassanelli and Berteloot [START_REF] Bassanelli | Lyapunov exponents, bifurcation currents and laminations in bifurcation loci[END_REF] proved a weaker version of Corollary E: they prove that the average measures ]0,1[ d-1 µ n k ,w(Θ) dm(Θ) converge weakly to the bifurcation measure. Contrary to ours, their proof also works in any codimension.

We view these results as parametric analogues of important dynamical phenomena. Indeed, Theorem B is an analogue of the equidistribution of repelling periodic points of a holomorphic endomorphism F of P k towards its maximal entropy measure µ F , and Theorem D is an analogue of the equidistribution of preimages of a generic points, again towards the measure µ F (see [Lj, BD]).

Perspectives. -The questions we discuss here may be addressed in a more general setting. A first natural generalization is the case when critical points can have the same period. In that case, the transversality theory à la Epstein fails at parameters admitting multiple critical points and we a priori have no control of the multiplicity of intersection at those parameters.

A second natural question is concerned with the case of the moduli space of degree d rational maps. Even in the case of quadratic rational maps which is much better understood that the general case, important difficulties occur. The main problem comes from the fact that, contrary to the case of polynomials, the support of the bifurcation measure is not compact in the moduli space of quadratic rational maps and that the collection of relatively compact hyperbolic components cluster at infinity (see [START_REF] Berteloot | On the geometry of bifurcation currents for quadratic rational maps[END_REF]).

We shall study both cases in future works.

On the other hand, in a more recent preprint ( [GV]), instead of focusing on the distribution of hyperbolic postcritically finite parameters, we study the distribution of Misiurewicz parameters (as is also done in [FG]). In this preprint, we study this problem using this time combinatorial tools developped by Kiwi [K] and Dujardin-Favre [DF], enlightening slightly different, though related, phenomena.

Structure of the article. -Section 2 is devoted to needed material. In Section 3, we establish two preliminary results: Przytycki distance estimate and the L 1 estimate for solutions of the Laplacian. We then present the proof of Theorem A and its corollaries in Section 4. The initial estimates relying on Przytycki Lemma are established in Section 5. Section 6 is dedicated to the proof of the main Theorem B and Section 7 to proving Theorems C and D. Finally, in Section 8, we investigate other approximation phenomena. We try here to understand the distribution of maps for which the critical points are sent to some prescribed target (and not necessarily themselves). We are especially interested in a theorem of Dujardin [Du] that proves the convergence outside some pluripolar set. We give here some convergence estimates and show that in some cases, the pluripolar set can be described explicitly.

Acknowledgment. -The research of both authors is partially supported by the ANR project Lambda ANR-13-BS01-0002. We would like to thank Vincent Guedj for very helpful discussions concerning L 1 estimates for solutions of the Laplacian and François Berteloot and Charles Favre for useful comments on preliminary versions.

Background material

In this section, we want to recall briefly background material on bifurcation currents and on classical complex analytic tools we will rely on in the whole paper.

Holomorphic families with marked critical points

Let us recall classic facts concerning holomorphic families of rational maps.

A holomorphic family (f λ ) λ∈Λ of degree d ≥ 2 rational maps parametrized by Λ is a holomorphic map f : Λ × P 1 -→ P 1 such that the map f λ := f (λ, •) : P 1 → P 1 is a degree d rational map, or equivalently if the map f :

λ ∈ Λ -→ f λ ∈ Rat d is holomorphic.
Definition 2.1. -We say that a holomorphic family (f λ ) λ∈Λ is with a marked critical point if there exists a holomorphic map c : Λ → P 1 such that f ′ λ (c(λ)) = 0 for all λ ∈ Λ. We say that a marked critical point c is passive at λ 0 ∈ Λ if there exists a neighborhood U ⊂ Λ of λ 0 such that the sequence F n of holomorphic maps defined by F n (λ) := f n λ (c(λ)) is a normal family on U . We say that c is active at λ 0 if it is not passive at λ 0 . The activity locus of c is the set of parameters λ 0 ∈ Λ such that c is active at λ 0 .

Let ω P 1 be the Fubini-Study form of P 1 normalized so that P 1 ω P 1 = 1.

Theorem 2.2 (Dujardin-Favre). -The sequence d -n (F n ) * ω P 1 converges in the weak sense of currents to a closed positive (1, 1)-current T c on Λ which is supported by the activity locus of c.

More precisely, there exists a locally uniformly bounded sequence of continuous function [START_REF] Dujardin | Distribution of rational maps with a preperiodic critical point[END_REF] or [START_REF] Demarco | Dynamics of rational maps: a current on the bifurcation locus[END_REF]. It is also known that T c ∧ T c = 0 (see [START_REF] Gauthier | Strong bifurcation loci of full Hausdorff dimension[END_REF]Theorem 6.1]).

u n : Λ×P 1 → R such that 1 d n (F n ) * ω P 1 = T c + 1 d n dd c u n , see e.g.
Let us also recall that, when a holomorphic family is with 2d -2 marked critical points c 1 , . . . , c 2d-2 , the current T bif := 2d-2 i=1 T c i is supported by the bifurcation locus in the sense of Mañé, Sad and Sullivan (see [START_REF] Demarco | Dynamics of rational maps: Lyapunov exponents, bifurcations, and capacity[END_REF]).

Definition 2.3. -We define the bifurcation measure of a family (f λ ) λ∈Λ as

µ bif := 1 m! T m bif , m = dim Λ .
This measure detects, in a certain sense, the strongest bifurcations which occur in Λ. Finally, when (f λ ) λ∈Λ is a holomorphic family of polynomials with d -1 marked critical point c 1 , . . . , c d-1 : Λ → C, we let

g λ (z) := lim n→∞ d -n log + |f n λ (z)| ,
for λ ∈ Λ and z ∈ C. The current T i is then given by T c i = dd c g λ (c i (λ)) (see e.g. [DF]).

We also can remark that it actually can be considered as equipped with 2d -2 marked critical points letting

c d ≡ • • • ≡ c 2d-2 ≡ ∞ and that T i = 0 for all d ≤ i ≤ 2d -2.

Polynomials with a specific periodic point

For the material of the present section, we refer to [START_REF] Joseph | The arithmetic of dynamical systems[END_REF]§4.1] and to [START_REF] Bassanelli | Lyapunov exponents, bifurcation currents and laminations in bifurcation loci[END_REF][START_REF] Bassanelli | Distribution of polynomials with cycles of a given multiplier[END_REF][START_REF] Milnor | Geometry and dynamics of quadratic rational maps[END_REF] (see also [START_REF] Favre | Distribution of postcritically finite polynomials[END_REF]§6]). We follow the notations of [FG].

We let (f λ ) λ∈Λ be a holomorphic family of degree d polynomials parametrized by a quasi-projective variety Λ. For any n ≥ 1, the n-th dynatomic polynomial of f λ is defined as

Φ * n (λ, z) := k|n f k λ (z) -z µ(n/k)
, where µ stands for the Moebius function. This defines a polynomial map Φ n : Λ× C -→ C satisfying Φ n (λ, z) = 0 if and only if -either z is periodic under iteration of f λ with (f n λ ) ′ (z) = 1 and its exact period is n, -or z is periodic under iteration of f λ with (f n λ ) ′ (z) = 1 and its exact period is k|n and (f k ) ′ (z) is a primitive n/k-th root of unity. When (f λ ) λ∈Λ is endowed with (d -1) marked critical point c 0 , . . . , c d-2 : Λ → C, we may apply this construction to those marked critical points c j . We let

P n,j (λ) := Φ * n (λ, c j (λ)) , λ ∈ Λ .
By the above, we have Lemma 2.4. -Pick m ≥ 1, 0 ≤ j ≤ d -2 and λ ∈ Λ. Then P m,j (λ) = 0 if and only if c j (λ) is periodic under iteration of f λ with exact period m.

We also can describe the set of parameters admitting a cycle of given period an multiplier. For n ≥ 1, set

p n (λ, w) := Res z (Φ * n (λ, z), (f n λ ) ′ (z) -w 1/n , (λ, w) ∈ Λ × C .
This defines a polynomial p n : Λ × C -→ C. Again, we find Lemma 2.5. -Pick n ≥ 1 and w ∈ C. Then p n (λ, w) = 0 if and only if one of the following occurs:

-if w = 1, f λ has a cycle of exact period n and multiplier w, -if w = 1, there exists k|n such that f λ has a cycle of exact period k and multiplier ρ a primitive n/k-root of unity.

A specific family

Recall that the moduli space P d of degree d polynomials is the space of affine conjugacy classes of degree d polynomials with d -1 marked critical points. We define a finite branched cover of C d-1 → P d as follows. For c = (c 1 , . . . , c d-2 ) ∈ C d-2 and a ∈ C, let

P c,a (z) := 1 d z d + d-1 j=2 (-1) d-j σ d-j (c) j z j + a d , z ∈ C ,
where σ k (c) is the monic elementary degree k symmetric polynomial in the c i 's. This family is known to be a finite branched cover (see e.g. [START_REF] Dujardin | Distribution of rational maps with a preperiodic critical point[END_REF]§5]). Remark also that the critical points of P c,a are exactly c 0 , . . . , c d-2 , where we set c 0 := 0, and that they depend algebraically on (c, a)

∈ C d-1 .
We define a continuous psh function G :

C d-1 → R + by setting G(c, a) := max 0≤j≤d-2 g c,a (c j ) , (c, a) ∈ C d-1 .
It is known that the connectedness locus

C d := {(c, a) ∈ C d-1 ; J c,a is connected} is compact and satisfies C d = {G = 0}
, where J c,a := ∂{g c,a = 0} is the Julia set of P c,a (see [BH]). Moreover, the bifurcation measure, in this actual family, coincides with the Monge-Ampère mass of G, i.e.

µ bif = (dd c G) d-1
as probability measures on C d-1 . It is also known that

G(c, a) = log + max{|c|, |a|} + O(1) ,
where we set |c| := max 1≤j≤d-2 |c j | , and that the function G is the pluricomplex Green function of C d . In particular, [START_REF] Dujardin | Distribution of rational maps with a preperiodic critical point[END_REF]§6]). In particular, the estimates of [DF] give Lemma 2.6. -There exists a constant C > 0 independent of (c, a) such that for any (c, a) ∈ C d-1 , any z ∈ C and any n,

µ bif = (dd c G) d-1 is supported by the Shilov boundary ∂ S C d of C d (see
1 d n log + |P n c,a (z)| -g c,a (z) ≤ d -n+1 (d -1) • (log + max{|c|, |a|} + C) .
Proof. -First, let us show that

1 d log + |P c,a (z)| -log + |z| ≤ log + max{|c|, |a|} + C
for some constant C ≥ 0 depending only on d. As observed in the proof of [START_REF] Dujardin | Distribution of rational maps with a preperiodic critical point[END_REF]Lemma 6.4], there exists

C ≥ 1 such that |P c,a (z)| ≤ C max{|c|, |a|, |z|} d , hence 1 d log + |P c,a (z)| ≤ log + |z| + log + max{|c|, |a|} + log C for all (c, a, z) ∈ C d . On the other hand, if |z| ≥ d • max{|c|, |a|, 1}, one clearly has |P c,a (z)| ≥ C ′ |z| d for some C ′ > 0 depending only on d and 1 d log + |P c,a (z)| ≥ log + |z| -log + max{|c|, |a|} + log C ′ . Finally, if |z| ≤ d • max{|c|, |a|, 1}, we directly find 1 d log + |P c,a (z)| ≥ 0 ≥ log + |z| -log + max{|c|, |a|} -log d,
and the conclusion follows. Now, an immediate induction gives

1 d n+k log + |P n+k c,a (z)| - 1 d n log + |P n c,a (z)| ≤ 1 d n log + max{|c|, |a|} + C k-1 j=0 d -j
for all n ≥ 1 and all k ≥ 1 and the conclusion follows making k → ∞.

Complex analytic tools

We will denote in what follows d P 1 the classical spherical distance on P 1 , normalized so that P 1 has diameter 1. For a C 1 selfmap f , we denote f # the spherical derivative of f :

∀z ∈ P 1 , f # (z) := lim d P 1 (z,y)→0 d P 1 (f (z), f (y)) d P 1 (z, y) .
Recall that if A is an annulus and if A is conformally equivalent to A ′ = {z ∈ C ; r < |z| < R} with 0 < r < R < +∞, the modulus of A is the same as the modulus of A ′ :

mod(A) = mod(A ′ ) = 1 2π log R r .
We will rely on the following classical estimate (see [BD, Appendix]).

Lemma 2.7 (Briend-Duval). -For any k ≥ 1, there exists a constant τ k > 0 depending only on k such that for any holomorphic disks D 1 ⋐ D 2 ⋐ C k , and any hermitian metric α on C k ,

(diam α (D 1 )) 2 ≤ τ • Area α (D 2 ) min(1, mod(A))
,

where A is the annulus D 2 \ D 1 and areas and distances are computed with respect to α.

We also rely on the following classical integration by part formula, which can be stated as follows (see [START_REF] Demailly | Complex analytic and differential geometry[END_REF]Formula 3.1 page 144]).

Lemma 2.8. -Let Ω ⋐ Ω ′ ⊂ C k be bounded open sets. Assume that Ω has smooth boundary. Let u, v be psh functions on Ω ′ and let T be a closed positive (k -1, k -1)- current on Ω ′ such that dd c u ∧ T and dd c v ∧ T are well-defined. Then Ω (vdd c u -udd c v) ∧ T = ∂Ω (vd c u -ud c v) ∧ T .

Preliminary results

In this section, we establish the two main technical estimates we will rely on. The first one is of dynamical nature and follows very closely a classical result of Przytycki. The second is of more geometric nature and might be of independent interest.

Local dynamical estimates

We shall use the following estimate in a crucial way. Though we will need it only in the case of families polynomials, we state and prove the estimate for general familes of rational maps for sake of completeness. The proof follows very closely that of [START_REF] Przytycki | Lyapunov characteristic exponents are nonnegative[END_REF]Lemma 1]. The idea to use this result for proving equidistribution phenomena in parameters spaces first appeared in the recent work [START_REF] Okuyama | Equidistribution of rational functions having a superattracting periodic point towards the activity current and the bifurcation current[END_REF] of Okuyama.

Lemma 3.1. -Let (f λ ) λ∈Λ be a holomorphic family of degree d rational maps and let c : Λ → P 1 be a marked critical point of (f λ ) λ∈Λ . Assume that c(λ) does not lie persistently in a parabolic basin of f λ , i.e. there exists λ 0 ∈ Λ such that c(λ 0 ) is not attracted by a parabolic cycle of f λ 0 . There exists a universal constant 0 < κ < 1 and a continuous function M : Λ →]1, +∞[ such that, for any n ≥ 1 and any λ ∈ Λ, -either c(λ) lies in the immediate basin of an attracting cycle of period p dividing n,

-or d P 1 (f n λ (c(λ)), c(λ)) ≥ κ • M (λ) -n . In particular, when c(λ) ∈ J λ , then d P 1 (f n λ (c(λ)), c(λ)) ≥ κ • M (λ) -n . Proof. -Notice that the functions M 1 , M : Λ →]1, +∞[ defined by M 1 (λ) := sup z∈P 1 f # λ (z) ∈]1, +∞[ and M (λ) := M 1 (λ) 2
are continuous on Λ. Moreover, the map f λ : P 1 → P 1 is Lipschitz with constant M 1 (λ) with respect to d P 1 , i.e.

d P 1 (f λ (z), f λ (w)) ≤ M 1 (λ)d P 1 (z, w) ,
for any z, w ∈ P 1 and any λ ∈ Λ. We rely on the following.

Claim. -There exists a constant κ > 0 such that for every λ ∈ Λ and any n ≥ 1 if

f n λ (c(λ)) = c(λ) and d P 1 (c(λ), J λ ) < κM (λ) -n , then d P 1 (f n λ (c(λ)), c(λ)) ≥ κM (λ) -n . Fix λ ∈ Λ and n ≥ 1.
We now assume all along the proof that c(λ) does not belong to an attracting basin of period p|n. In particular,

f n λ (c(λ)) = c(λ). When c(λ) ∈ J λ , the above Claim implies d P 1 (f n λ (c(λ)), c(λ)) ≥ κ • M (λ) -n , as required. Assume now c(λ) / ∈ J λ .
There are two distinct cases to treat. First, assume c(λ) lies in a parabolic basin of f λ . Since c(λ) is not persistently in such a component, the critical point is active at λ, hence there exists

λ k → λ with c(λ k ) ∈ J λ k by Montel Theorem. By continuity of the function λ → d P 1 (f n λ (c(λ)), c(λ)) -κ • M (λ) -n , we find d P 1 (f n λ (c(λ)), c(λ)) -κ • M (λ) -n = lim k→∞ d P 1 (f n λ k (c(λ k )), c(λ k )) -κ • M (λ k ) -n ≥ 0 in that case, i.e. d P 1 (f n λ (c(λ)), c(λ)) ≥ κ • M (λ) -n .
In any other case, by assumption,

f n λ (c(λ)) lies in a different Fatou component of f λ than c(λ). Then, either d P 1 (c(λ), J λ ) < κ • M (λ) -n
which, by the Claim, implies

d P 1 (f n λ (c(λ)), c(λ)) ≥ κM (λ) -n , or d P 1 (c(λ), J λ ) ≥ κ • M (λ)
-n and we have

d P 1 (f n λ (c(λ)), c(λ)) ≥ d P 1 (c(λ), J λ ) ≥ κ • M (λ)
-n and the proof is complete.

We are left with proving the Claim.

Proof of the Claim. -In what follows, we let B(z, r) (resp. B e (z, r)) denote the spherical (resp. euclidean) ball of center z and radius r. Recall that the group of (holomorphic) isometries for the spherical metric acts transitivelly on P 1 . Pick some parameter λ and let A and B be such isometries. Then for r > 0:

diam f λ (B(c(λ), r)) = diam A•f λ •B(B -1 (B(c(λ), r))) = diam A•f λ •B((B(B -1 (c(λ)), r))). Choosing A and B such that A(f λ (c(λ))) = 0 and B -1 (c(λ)) = 0 gives diam f λ (B(c(λ), r)) = diam A • f λ • B((B(0, r))).
Let g be the rational map of P 1 defined by g :

= A • f λ • B so that g(0) = 0. As A and B are isometries, we have g # (z) = f # λ (B(z)) so that sup z∈P 1 g # (z) = sup z∈P 1 f # λ (z). Hence g is M 1 (λ)-Lipschtiz. Set now r 0 := 1 2M 1 (λ) (< 1/2), then: ∀z ∈ B(0, r 0 ), d P 1 (g(z), g(0)) = d P 1 (g(z), 0) ≤ 1 2 ,
so that g(B(0, r 0 )) ⊂ B(0, 1/2). As the spherical metric and the euclidean metric are comparable on B(0, 1/2), there exists c > 1 such that for all r ≤ 1/2, B e (0, r) ⊂ B(0, r) ⊂ B e (0, cr).

In particular,

B e 0, 1 2M 1 (λ) ⊂ B 0, 1 2M 1 (λ)
.

so that :

g B e 0, 1 2M 1 (λ) ⊂ B(0, 1/2) ⊂ B e (0, c/2). Whence g : B e 0, 1 2M 1 (λ) → B e (0, c/2) is holomorphic. Applying Cauchy's inequality for g ′ we find g ′′ ∞,B e (0, 1 4M 1 (λ) ) ≤ g ′ ∞,B e (0, 1 2M 1 (λ) ) (4M 1 (λ)) -1 ≤ c ′ M 1 (λ) 2 = c ′ M (λ)
where c ′ does not depend on λ and we used that |g ′ | ≤ cg # on B e (0, 1 2M 1 (λ) ). Since g ′ (0) = 0, up to replacing c ′ by c 2 c ′ , we deduce that g ′ ∞,B e (0,cr) ≤ c ′ M (λ)r, and so g(B e (0, cr)) ⊂ B e (0, c ′ M (λ)r 2 ), for all r ≤ 1 4cM 1 (λ) . Summing up, we have:

g(B(0, r)) ⊂ B(0, c ′ M (λ)r 2 ), for all r ≤ 1 4cM 1 (λ)
.

Going back to f λ and taking the diameter we deduce (using that M 1 (λ) ≤ M (λ)):

(1)

∀r ≤ 1 4cM (λ) , diam f λ (B(c(λ), r)) ≤ c ′ M (λ) 2 r 2 ,
where c and c ′ are constants that depend neither on λ nor on r.

We now follow the proof of [START_REF] Przytycki | Lyapunov characteristic exponents are nonnegative[END_REF]Lemma 1]. Take κ so that κ ≤ 1 4c ′ and κ ≤ 1 8c (c and c ′ are the constants in (1)). Assume, by contradiction, that

d P 1 (c(λ), J λ ) < κM (λ) -n , d P 1 (f n λ (c(λ)), c(λ)) < κM (λ) -n and f n λ (c(λ)) = c(λ). Choose ǫ := max{d P 1 (c(λ), J λ ), d P 1 (c(λ), f n λ (c(λ)))} > 0 . Then B(c(λ), ǫ)∩J λ = ∅. Since f λ is M 1 (λ)-Lipschitz with respect to d P 1 , we get for j ≥ 2: diam f j λ (B(c(λ), 2ǫ)) ≤ M 1 (λ)diam f j-1 λ (B(c(λ), 2ǫ)).
By our choice of κ, we have that 2ǫ ≤ 1 4cM (λ) , so combining with (1) gives:

diam f n λ (B(c(λ), 2ǫ)) ≤ 4c ′ M 1 (λ) n+1 ǫ 2 ≤ 4c ′ M (λ) n ǫ 2 < ǫ .
In particular,

f n λ (B(c(λ), 2ǫ)) ⊂ B(c(λ), 2ǫ) and f kn λ (B(c(λ), 2ǫ)) ⊂ B(c(λ), 2ǫ
) follows for any k ≥ 1 by an immediate induction. By Montel's Theorem, the sequence (f kn λ ) k≥1 is a normal family on B(c(λ), 2ǫ), which is a contradiction, since J λ ∩ B(c(λ), 2ǫ) = ∅.

L 1 -estimate for local solutions of the Laplacian on affine curves

Our aim, in the present, is to give the following L 1 -estimate for solutions of the Laplacian in disks of algebraic curves. We let β be the standard hermitian metric on C k . Precisely, we want to prove the following.

Theorem 3.2. -Pick k ≥ 1. There exists a constant C > 0 depending only on k such that for every affine algebraic curve S ⊂ C k , every simply connected bounded domain of Ω in S satisfying Ω ∩ S sing = ∅, every z 0 ∈ Ω and every f ∈ C(Ω, C) holomorphic on Ω satisfying dd c log |f | = δ z 0 on Ω, we have

log |f | L 1 (Ω,β) ≤ C max log |f | L ∞ (∂Ω) , 1 Area β (Ω) . Proof. -Set u := log |f |. First, if f vanishes somewhere on ∂Ω, then the estimate is trivial since u L ∞ (∂Ω) = +∞ then. We thus assume f (ζ) = 0 for all ζ ∈ ∂Ω.
Let h : Ω → D be a biholomorphic map with h(z 0 ) = 0. It is clear that |h| extends continuously to ∂Ω with |h| = 1 on ∂Ω. We set χ := log |h| and K := max u L ∞ (∂Ω) , 1 . The function χ is subharmonic on Ω, satisfies dd c χ = δ z 0 and χ ≤ 0. The functions h/f and f /h are holomorphic on Ω and satisfy

f h ≤ exp(K) and h f ≤ exp(K) both on ∂Ω .
Using twice the maximum principle, we get χ -

K ≤ u ≤ K + χ ≤ K -χ on Ω. Define Ω ′ := {z ∈ Ω ; χ(z) < -3K} and Ω ′′ := z ∈ Ω ; χ(z) < - 5 2 K .
We can decompose u L 1 (Ω) as follows

u L 1 (Ω) = Ω |u| β ≤ Ω (K -χ) β ≤ KArea β (Ω) - Ω χ β ≤ KArea β (Ω) - Ω\Ω ′ χ β - Ω ′ χ β ≤ 4KArea β (Ω) - Ω ′ χ β .
We are thus left with estimating

Ω ′ χ β from below. Writing v(z) := z -z 0 2
, where • is the euclidean norm of C k , we have β = dd c v and by Stokes (see Lemma 2.8):

Ω ′ χ β = Ω ′ v dd c log |h| - ∂Ω ′ v d c log |h| + ∂Ω ′ log |h| d c v . As dd c log |h| = δ z 0 , d c log |h| 2 = d c |h| 2 /|h| 2
and by definition of Ω ′ , we find

Ω ′ χ β = -3K ∂Ω ′ d c v - ∂Ω ′ v d c log |h| = -3KArea β (Ω ′ ) - 1 2 exp(6K) ∂Ω ′ v d c |h| 2 .
Applying again Stokes yields

∂Ω ′ v d c |h| 2 = Ω ′ v dd c |h| 2 - Ω ′ |h| 2 β + ∂Ω ′ |h| 2 d c v ≤ Ω ′ v dd c |h| 2 + exp(-6K)Area β (Ω ′ ) since |h| ≤ 1 and v ≥ 0.
All the above estimates summarize as follows

0 ≥ Ω ′ χ β ≥ -4K • Area β (Ω ′ ) - 1 2 exp(6K) Ω ′ vdd c |h| 2 , (2) since K ≥ 1 and |h| ≥ 0. Since v(z) = z -z 0 2
, we can bound it in Ω ′ from above by (diam β (Ω ′ )) 2 . We now apply Lemma 2.7 to Ω ′ ⋐ Ω ′′ and find

Ω ′ vdd c |h| 2 ≤ (diam β (Ω ′ )) 2 • Ω ′ dd c |h| 2 = (diam β (Ω ′ )) 2 • D(0,e -3K ) β (3) ≤ (diam β (Ω ′ )) 2 • π exp(-6K) ≤ π exp(-6K)τ • Area β (Ω ′′ ) min 1, mod(Ω ′′ \ Ω ′ ) .
Since h is a biholomorphism and since K ≥ 1, we have

mod(Ω ′′ \ Ω ′ ) = mod(D(0, e -5K/2 ) \ D(0, e -3K )) = K 2π ≥ 1 2π .
Taking C := 8 + π 2 τ (K ≥ 1) ends the proof.

Remark. -Although it seems that all the analysis can be made directly on D, in (3) we need to work on Ω ′ to bound v by the euclidean diameter of Ω ′ .

Speed of convergence in the unicritical family

This section is devoted to the proof of Theorem A. The method we use can be seen as a toy-model for the proof of Theorem B. Our idea consists in giving estimates in L 1 loc for the sequence c → d -n+1 log |p n c (0)|g M d of DSH functions (difference of subharmonic functions) and then to deduce Theorem A from these estimates.

Preliminaries

Let d ≥ 2. Recall that the Multibrot set M d is defined by

M d := {c ∈ C ; J c is connected} .
Observe that 0 on C is the unique marked critical point of p c (other than ∞). According to the notation introduced in section 2.1, the Green function should be denoted by g 0 , we shall instead use the notations g c which is more classical in that setting. In particular, M d coincides with the set {c ∈ C ; g c (0) = 0}. The bifurcation locus of the family (p c ) c∈C is known to coincide with the boundary ∂M d of the Multibrot set. In this family, the bifurcation measure is given by

dd c g c (0) = 1 d dd c g c (c) = 1 d dd c g M d
where g M d is the Green function of the compact set M d (see e.g. [St]). In particular, dd c g M d = µ M d is the equilibrium measure (and the harmonic measure) of M d .

Let us first prove the following.

- 1 d n-1 (n log M 1 -log κ) ≤ u n (c) -g M d (c) ≤ 1 d n-1 log 2 , since g M d (c) = 0. Setting C 1 := 2 max{κ -1 , M 1 , 2}, we get for any c ∈ ∂M d - n d n-1 log C 1 ≤ u n (c) -g M d (c) ≤ n d n-1 log C 1 . (4) Now, as c → ∞, by definition of p c , one has lim c→∞ (u n (c) -log |c|) = lim c→∞ d -(n-1) log c d n-1 -log |c| = 0 . As g M d (c) = log |c| + o(1) as c → ∞ (by definition of the Green function), the function u n -g M d extends continuously on the xhole P 1 \M d . Moreover, h n := u n -g M d is harmonic on C \ M d .
The function h is thus subharmonic and continuous on

P 1 \ M d . Moreover, since h n is harmonic on C \ M d , one has supp(∆h n ) ∩ (P 1 \ M d ) ⊂ {∞}.
As h n is continuous at ∞, it can not have a Dirac mass here, hence ∆h n = 0 on P 1 \ M d , i.e. h n is harmonic on P 1 \ M d . By the maximum principle, applied successively to h n and -h n , (4) gives the wanted estimate.

In the Multibrot set

For every n ≥ 1, we denote v n := log |p n c (0)| (hence u n = d -n+1 v n ). We will prove that: Theorem 4.2. -There exists C > 0 depending only on d such that for any n ≥ 1,

v n L 1 (M d ) ≤ C • n • Area(M d ) .
The next lemma will be use in the proof of Theorem 4.2. Though it is classical, we include a proof for the sake of completeness.

Lemma 4.3. -The polynomial p n c (0) ∈ C[c] has only simple roots in C. Proof. -Let Q n (c) := p n c (0) ∈ Z[c]. By definition, Q n (c) = Q n-1 (c) d + c, hence Q ′ n = dQ ′ n-1 Q d-1 n-1 + 1. In particular, the discriminant ∆(Q n ) = Res(Q n , Q ′ n )
is the determinant of a matrix with entries divisible by d below the diagonal and equal to 1 on the diagonal. Hence reducing modulo d, it is upper triangular with 1 on the diagonal, i.e. ∆(

Q n ) ≡ 1 (mod d). In particular, if Q n (c 0 ) = 0, then Q ′ n (c 0 ) = 0 and the point c 0 is a simple root of Q n .
Let n ≥ 1. We denote by H n the union of connected components Ω of the interior of M d such that Per(n) ∩ Ω = ∅. For Ω such a connected component, recall that Ω is simply connected and there exists only one c Ω ∈ Ω for which p n c Ω (0) = 0 (see [START_REF] Douady | Étude dynamique des polynômes complexes. Partie II[END_REF]). Remark. -This can be seen using the multiplier map ρ : Ω → D which is a branched cover of degree d -1 which is totally ramified at {c

Ω } := ρ -1 {0} = Per(n) ∩ Ω.
The proof of Theorem 4.2 is an application of Theorem 3.2.

Proof. -We decompose v n L 1 (M d ) as follows

v n L 1 (M d ) = M d |v n | β = M d \Hn |v n | β + Hn |v n | β .
Let U be a connected component of the interior of M d \ H n . By Lemma 4.1 (recall that g M d (c) = 0 in M d ), we have that |v n | ≤ nC 1 on ∂U . As v n is harmonic on U , by the maximum principle, the estimate extends to U :

|v n | ≤ nC 1 on U.
Hence:

M d \Hn |v n | β ≤ nC 1 Area β (M d \ H n ) .
v n L 1 (Ω) ≤ C max v n L ∞ (∂Ω) , 1 Area β (Ω) ≤ CnC 1 Area β (Ω) ,
where C is a universal constant that depends only on d. Summing on all the connected components Ω of H n gives:

Hn |v n | β ≤ CnC 1 Area β (H n ) .
Summing over H n and M d \ H n ends the proof.

Proof of Theorem A

Let us now explain how to deduce Theorem A from Theorem 4.2. C). Then, by Stokes formula:

Proof of Theorem

A. -Let n ≥ 1. Recall that u n (c) = d -n+1 log |p n c (0)| = d -n+1 v n . Let ϕ ∈ C 2 c (
1 d n-1 c∈Per(n) ϕ(c) - C ϕ µ M d = C ϕ dd c u n - C ϕ dd c g M d = C (u n -g M d ) dd c ϕ .
We cut the integral into two parts 1

d n-1 c∈Per(n) ϕ(c) - C ϕ µ M d = M d (u n -g M d )dd c ϕ + C\M d (u n -g M d )dd c ϕ .
Now, as ϕ is C 2 , we have (up to a constant that depends on the choice of the C 2 -norm) that ϕ C 2 ω P 1 ± dd c ϕ ≥ 0, where ω P 1 is the Fubini-Study form on P 1 (normalized so that ω P 1 (P 1 ) = 1), hence we can write

1 d n-1 c∈Per(n) ϕ(c) - C ϕ µ M d ≤ ϕ C 2 M d |u n -g M d |ω P 1 + C\M d |u n -g M d |ω P 1 .
As ω P 1 ≤ β, where β is the standard hermitian metric on C,

1 d n-1 c∈Per(n) ϕ(c) - C ϕ µ M d ≤ ϕ C 2 M d |u n -g M d |β + C\M d |u n -g M d |ω P 1 .
By Lemma 4.1, we have the bound:

C\M d |u n -g M d |ω P 1 ≤ n d n-1 C 1 P 1 ω P 1 = n d n-1 C 1 .
Now, by Theorem 4.2, there exists C > 0 depending only on d such that for any n ≥ 1,

v n L 1 (M d ) ≤ C • n • Area(M d ) . Hence M d |u n -g M d |β = d -n+1 M d |v n |β ≤ Area(M d ) • C ′ n d n
, where C ′ depends only on d. Combining the estimates gives that there exists a constant C that depends only on d such that:

1 d n-1 c∈Per(n) ϕ(c) - C ϕ µ M d ≤ Cn d n ϕ C 2 .
This ends the proof.

Remark. -1. Observe that in fact, one can replace in Theorem A the norm ϕ C 2 by the L ∞ norm of dd c ϕ.

2. On the other hand, as the measures 1 d n-1 c∈Per(n) δ c and µ M d all have supports in M d , if θ denotes a cut-off function equal to 1 in a neighborhood of M d then for all ϕ:

1 d n-1 c∈Per(n) ϕ(c) - C ϕ µ M d = 1 d n-1 c∈Per(n) θ(c)ϕ(c) - C θϕ µ M d .
Then, one easily gets that θϕ C 2 ≤ A ϕ C 2 (K) where K = supp(θ) and A is a constant that depends only on θ. Then we have the estimate, for all ϕ ∈ C 2 (C):

1 d n-1 c∈Per(n) ϕ(c) - C ϕ µ M d ≤ CA n d n ϕ C 2 (K) .

An application in the spirit of Theorem C

We here want to extend the Our precise statement is the following.

Theorem 4.4. -For any integer n ≥ 1, the set Per(n, w) is a finite set of cardinal d n-1 (resp. (d -1)d n-1 ) if w = 0 (resp. w ∈ D * ). Moreover, there exists a constant C > 0 depending only on d such that

1 d n-1 c∈Per(n,w) ϕ(c) (d -1) -ϕ µ M d ≤ C n d n 1 2 max 1, 1 log(|w| -1 ) 1 2 ϕ C 1 ,
for any w ∈ D * , any ϕ ∈ C 1 c (C) and any n ≥ 1. The proof of Theorem 4.4 uses Lemma 2.7, i.e. the length-area estimates of Briend and Duval [BD] in a crucial way. Notice that we may instead use Koebe Distortion estimates, but we again want to present the proof of Theorem 4.4 as a toy model for that of Theorem C.

Notice that, though this estimate looks weaker than the one obtained in Theorem C, it is actually more general. Indeed, the set Per(n, w) as we defined it here is the set of parameters c for which there exists a cycle of period dividing n and multiplier a root of w. Hence, this is a much bigger set than the one involved in Theorem C.

In general, the set Per(n, w) with w ∈ C is finite and has cardinal at most (d -1)d n-1 , see e.g. [Si].

Proof. -Let us first prove that Per(n, w) is finite and determine its cardinal. If c ∈ Per(n, w), then p c has an attracting cycle of exact period k|n and multiplier w k/n ∈ D. But the set of parameters c admitting a k-cycle of multiplier t ∈ D is finite and its cardinal is d k-1 if t = 0 and (d-1)d k-1 otherwise. In particular, Per(n, w) is finite and has cardinal k|n d k-1 = d n-1 if w = 0 and k|n (d -1)d k-1 = (d -1)d n-1 otherwise (recall that d n was defined in the introduction).

Pick ϕ ∈ C 1 c (C) and let

µ n := 1 d n c∈Per(n) δ c and µ n,w := 1 (d -1)d n c∈Per(n,w) δ c .
Recall that we want to estimate | µ n,w , ϕµ M d , ϕ |. Let us remark that, by a classical interpolation argument, Theorem A gives

| µ n , ϕ -µ M d , ϕ | ≤ C 1 n d n 1/2 ϕ C 1 ,
where C 1 depends only on d. Pick w ∈ D * and n ≥ 1. We are left with estimating | µ n , ϕµ n,w , ϕ |. For any c 0 ∈ Per(n), let us denote by Ω c 0 the hyperbolic component containing c 0 and let c 1 w , . . . , c d-1 w be the d -

1 parameters c j w ∈ Ω c 0 ∩ Per(n, w). Let also Ω ′ c 0 be the open set Ω ′ c 0 := |t|<|w| Per(n, t) ∩ Ω c 0 ⋐ Ω c 0 .
By Cauchy-Schwarz inequality,

| µ n , ϕ -µ n,w , ϕ | ≤ 1 (d -1)d n c 0 ∈Per(n) d-1 j=1 |ϕ(c 0 ) -ϕ(c j w )| ≤ 1 d n c 0 ∈Per(n) ϕ C 1 Diam β Ω ′ c 0 ≤ 1 d n/2 ϕ C 1   c 0 ∈Per(n) Diam β (Ω ′ c 0 ) 2   1/2
Recall that Per(n) = k|n Per * (k) where Per * (k) denote the set of parameters admitting a super-attracting cycle of exact period k. Moreover, if k|n and c 0 ∈ Per * (k),

Ω ′ c 0 = ρ -1 D(0, |w| k/n ) ,
where ρ : Ω c 0 -→ D is the map which, to c, associates the multiplier of the attracting cycle of p c . Recall that ρ is a (d -1)-branched cover ramifying exactly at c 0 . In particular,

mod D \ D(0, |w| k/n ) = (d -1) • mod(Ω c 0 \ Ω ′ c 0 ) , whence mod(Ω c 0 \ Ω ′ c 0 ) = -k 2πn(d-1) log |w| ≥ -1
2πn(d-1) log |w|. By Lemma 2.7, we deduce

| µ n , ϕ -µ n,w , ϕ | ≤ 1 d n/2 ϕ C 1   c 0 ∈Per(n) τ min(1, -1 2πn(d-1) log |w|) Area β (Ω c 0 )   1/2 . On the other hand, since Ω c 0 ∩ Ω c ′ 0 = ∅ for c 0 = c ′ 0 ∈ Per(n) and Ω c 0 ⊂ M d ⊂ D(0, 2), Per(n) Area β (Ω c 0 ) ≤ Area β (D(0, 2)) = 4π .
Combined with the above, this gives

| µ n , ϕ -µ n,w , ϕ | ≤ 2 √ πτ d n/2 ϕ C 1 max 1, 2πn(d -1) log(|w| -1 ) 1/2
, which, letting C := C 1 + 2π 2(d -1)τ , finally gives the wanted result.

Initial estimates in the moduli space of polynomials

We aim, here, at giving estimates in the spirit of the one provided by Lemma 4.1. We begin the section with preliminaries on the Moebius function and dynatomic polynomials P m,j .

We then give estimates using Lemma 3.1 for the potentials of the currents [Per * j (m)] = dd c log |P m,j | (renormalized by their mass) at suitable parameters.

Basics

Let d ≥ 3. Recall that, for 0 ≤ j ≤ d -2 and m ≥ 1, we defined in § 2.2 the polynomials P m,j of period m for the critical point c j by

P m,j (c, a) := k|m P k c,a (c j ) -c j µ(m/k)
, where µ stands for the Moebius function, and that P m,j (c, a) = 0 if and only if c j is periodic under iteration of P c,a with exact period m. The degree of P m,j is equivalent to d m . It does not depend on j so we denote it by d m as we have the formula:

(5)

d m = k|m µ(m/k)d k = d m + k|m, k =m µ(m/k)d k .
Recall that the function σ : N * → N * is the sum of divisors: We also let Per * j (m) be the algebraic variety Per * j (m) := {(c, a) ∈ C d-1 ; P m,j (c, a) = 0} defined by (c, a) ∈ Per * j (m) if and only if the critical point c j is periodic under iteration of P c,a with exact period m. We shall use in the sequel the following result (see [START_REF] Favre | Distribution of postcritically finite polynomials[END_REF]Theorem 6.1]).

Theorem 5.1 (Favre-Gauthier). -Let m = (m 0 , . . . , m d-2 ) be a (d -1)-tuple of pairwise distinct positive integers such that m 0 ≥ 2. If the hypersurfaces {Per * j (m j )} 0≤j≤d-2 intersect at (c, a) ∈ C d-1 , their intersection at (c, a) is smooth and transverse.

Let H n be the open set of hyperbolic parameters (c, a) for which, for all j, the critical point c j is in the immediate basin of an attracting cycle of exact period n j . For (c c , a c ) ∈ ∩ j Per * j (n j ), we let Ω cc,ac be the connected component of the interior of C d that contains (c c , a c ) which is the center of the component Ω cc,ac . In the case where all n j are distinct, it is known that the set Ω cc,ac is simply connected and contains only one postcritically finite parameter, the parameter (c c , a c ). Notice that, according to Theorem 5.1 and to Bézout Theorem, the set H n has Card( j Per * j (n j )) = j d n j distinct hyperbolic components.

Przytycki's estimates in the space of polynomials

We first give estimates for the functions d -n log |P n c,a (c j )c j | that will enable us to deal with the dynatomic polynomials. The two next lemmas are consequences of [START_REF] Dujardin | Distribution of rational maps with a preperiodic critical point[END_REF]§6] and of Lemma 3.1. These two lemmas intend to play the role, in the present setting, of Lemma 4.1. Since the parameter space is now several dimensional, the proofs are more elaborate than in the unicritical family.

A few explanations are in order. In turn, lemma 5.4 says that the growth of the function d -n log |P n c,a (c j )c j | is bounded above by the escape rate of the critical point c j , up to exponential error term, at least when c j is the fastest escaping critical point. These estimates follow directly from classical estimates (see [START_REF] Dujardin | Distribution of rational maps with a preperiodic critical point[END_REF]S 6]). To be more precise, we use the following two lemmas in the sequel (see [START_REF] Dujardin | Distribution of rational maps with a preperiodic critical point[END_REF]Lemmas 6.4 & 6.5]).

|P n c,a (c j ) -c j | ≤ |P n c,a (c j )| + |c j | ≤ 4d 2 max (c,a)∈∂C d {|c|, |a|, 2} .
In particular, there exists a constant C, independent of n such that for all (c, a) ∈ C d and all n ≥ 1:

1 d n log P n c,a (c j ) -c j ≤ C d n .
(1) observe that the statement of the lemma is incorrectly stated in [DF], and the constant C is actually independent on (c, a).

Since g c,a (c j ) = 0 in C d , the lemma follows in the case where (c, a) ∈ C d .

We now consider the case where (c, a) ∈ C d-1 \ C d and pick R > 0 such that (c, a) ∈ {G = R} and g c,a (c j ) = G(c, a) = R.

According to Lemma 2.6, since G(c, a) = log + max {|c|, |a|} + O(1), there exist R 0 > 0 such that for R ≥ R 0 , we can assume that for all n ≥ 1 :

|P n c,a (c j )| ≥ 2 max{|c|, |a|} ≥ 2|c j | ≥ 1. Assume first that R ≥ R 0 . Hence: 1 2 |P n c,a (c j )| ≤ |P n c,a (c j ) -c j | ≤ 3 2 |P n c,a (c j )| and if δ = (d -1) -1 l c l , then 1 2 |P n c,a (c j )| ≤ |P n c,a (c j ) -δ| .
Taking the logarithm of the above inequality, and dividing it by d n , and using log (P n c,a (c j )). Hence, by [START_REF] Dujardin | Distribution of rational maps with a preperiodic critical point[END_REF]Lemma 6.5] (see Lemma 5.3), this gives a constant C ′′ > 0 depending only on d and R 0 such that

|P n c,a (c j )| = log + |P n c,a (c j )|, we find 1 d n log + |P n c,a (c j )| - log 2 d n ≤ 1 d n log + |P n c,a (c j ) -c j | ≤ 1 d n log + |P n c,a (c j )| + log 3 2 d n . By invariance, g c,a (c j ) = d -n g c,a (P n c,a (c j )) = G(c, a) so that max{g c,a (P n c,a (c j )), G(c, a)} = g c,a
g c,a (c j ) = d -n g c,a (P n c,a (c j )) ≥ d -n log |P n c,a (c j ) -δ| -log 4 ≥ d -n log |P n c,a (c j ) -c j | -C ′′ . Assume now that 0 < R < R 0 . We treat two cases separately. Assume first that |P n c,a (c j )| ≤ 1/2|c j | so that |P n c,a (c j ) -c j | ≤ 3/2|c j |.
In particular, taking the logarithm of the above inequality, dividing it by d n and using that log ≤ log + , this implies:

1 d n log |P n c,a (c j ) -c j | ≤ 1 d n log |c j | + log 3 2 d n ≤ 1 d n G(c, a) + C ′′
d n where C ′′ > 0 is a constant that does not depend on (c, a) nor n and where we used that G(c, a) = log + max{|c|, |a|} + O(1). In particular, since G ≥ 0 and n ≥ 0,

1 d n log |P n c,a (c j ) -c j | ≤ g c,a (c j ) + C ′′ d n . Assume now that |P n c,a (c j )| ≥ 1/2|c j | so that |P n c,a (c j ) -c j | ≤ 3/2|P n c,a (c j )|.
Proceeding as above gives:

1

d n log |P n c,a (c j ) -c j | ≤ 1 d n log + |P n c,a (c j )| + log 3 2 d n .
Using Lemma 2.6 and G(c, a) = R < R 0 implies that there is a constant that depends only on d and R 0 , but neither on (c, a) nor on n that we still denote C ′′ such that:

1 d n log |P n c,a (c j ) -c j | ≤ g c,a (c j ) + C ′′ d n .
This concludes the proof in the case where 0 < R < R 0 .

The second lemma we will need is the following.

1 d n log |P n c,a (c j ) -c j | -g c,a (c j ) ≥ -C 1 n d n .
Proof.

-As above, we first treat the case G(c, a) = 0 and then focus on the case G(c, a) > 0. Consider first the case where (c, a) ∈ C d ∩ supp(T j ). Hence c j is active at (c, a) and, in particular, c j does not lie in an attracting basin. By Lemma 3.1, there exist a universal constant 0 < κ < 1 and a continuous function C(c, a) > 1 such that:

|P n c,a (c j ) -c j | ≥ |P n c,a (c j ) -c j | 1 + |P n c,a (c j )| 2 • 1 + |c j | 2 = d P 1 (P n j c,a (c j ), c j ) ≥ κ C(c, a) n . Hence, if C := max (c,a)∈∂C d C(c, a) > 1, then 1 d n log |P n c,a (c j ) -c j | ≥ - n d n log C κ + g c,a (c j )
for any n ∈ N * , since g c,a (c j ) = 0 on ∂C d . This is the expected result in the case where (c, a) ∈ C d ∩ supp(T j ).

Assume now that (c, a) satisfies G(c, a) = g c,a (c j ) = R > 0. Consider the compact domain Ω R := {G ≤ R}. As above, since G(c, a) = log + max{|c|, |a|} + O(1), according to Lemma 2.6, taking R 0 large enough, we can assume that for all n ≥ 1 and all R ≥ R 0 :

|P n c,a (c j )| ≥ 2 max{|c|, |a|} ≥ 2|c j | ≥ 1. Assume first that R ≥ R 0 . Hence: |P n c,a (c j ) -c j | ≥ 1 2 |P n c,a (c j )|.
Up to increasing R 0 , combining G(c, a) = log + max{|c|, |a|} + O(1) and g c,a (c j ) = d -n g c,a (P n c,a (c j )) with [START_REF] Dujardin | Distribution of rational maps with a preperiodic critical point[END_REF]Lemma 6.4] (see Lemma 5.2) gives for (c, a) and for any n ≥ 1:

(6) d -n log |P n c,a (c j )| = d -n log + |P n c,a (c j )| ≥ g c,a (c j ) + O(d -n )
, where the O is independent of n and (c, a). This gives a constant C ′′ (independent of R ≥ R 0 ) such that for all n ≥ 1:

g c,a (c j ) -C ′′ (d -n ) ≤ 1 d n log |P n c,a (c j ) -c j |. Assume now R < R 0 and consider Ω R 0 = {G ≤ R 0 }.
Claim. -There exists a constant C > 1 depending only on d and R 0 such that, for all (c, a) ∈ Ω R 0 , all n ≥ 1 and all 0 ≤ j ≤ d -2 with G(c, a) = g c,a (c j ) > 0, we have

d P 1 (P n c,a (c j ), c j ) ≥ κ C n .
Let us first finish the proof of Lemma 5.5. As a consequence,

|P n c,a (c j ) -c j | 1 + |P n c,a (c j )| 2 • 1 + |c j | 2 = d P 1 (P n j c,a (c j ), c j ) ≥ κ C n .
Taking the logarithm in tha above inequality, dividing it by d n and using Lemma 2.6 uniformly on Ω R 0 imply:

- n d n log C κ ≤ 1 d n |P n c,a (c j ) -c j | - 1 2d n log 1 + |P n c,a (c j )| 2 - 1 2d n log 1 + |c j | 2 ≤ 1 d n |P n c,a (c j ) -c j | -g c,a (c j ) + C ′ 1 2d n
, where C ′ is yet another constant that depends on d and R 0 but neither on (c, a) nor on n. This concludes the proof.

Proof of the Claim. -Let us first pick

C > sup (c,a)∈Ω R 0 sup z∈P 1 P # c,a (z) 2 > 1 .
We proceed by contradiction, assuming that for some n ≥ 2, d P 1 (P n c,a (c j ), c j ) < κ C n . As seen in the proof of Lemma 3.1, letting ε := d P 1 (P n c,a (c j ), c j ) and proceeding as in the proof of the Claim of Section 3.1, we get

P n c,a (B(c j , 2ε)) ⊂ B(c j , 2ε)
. By Brouwer fixed point Theorem, P n c,a has a fixed point in B(c j , 2ε) and this ball is contained in the Fatou set of P c,a . Hence ∞ ∈ B(c j , 2ε), since c j lies in the attracting basin of ∞ of P c,a , i.e.

1 1 + |c j | 2 ≤ d P 1 (∞, c j ) ≤ 2d P 1 (c j , P n c,a (c j )) < 2κ C n .
This may be rephrased as

C 2 < C 2n < 4κ 2 1 + C(R 0 ) 2 where C(R 0 ) = max (c,a)∈Ω R 0 |c j |.
Up to increasing C, we may assume C 2 ≥ 2κ 2 1 + C(R 0 ) 2 , which is a contradiction.

Estimates for the dynatomic polynomials

In the sequel, we shall use the notation

g n,j (c, a) := 1 d n log |P n,j (c, a)| , (c, a) ∈ C d-1 , n ≥ 2 .
The following two propositions are keystones to the proof of Theorem B. These estimates are direct consequences of Lemma 5.4, Lemma 5.5 and the maximum principle.

Proposition 5.6. -There exists a constant C ≥ 1 depending only on d such that for all

n ≥ 1, (c, a) ∈ C d-1 and any 0 ≤ j ≤ d -2 such that g c,a (c j ) = G(c, a), g n,j (c, a) -g c,a (c j ) ≤ C σ(n) d n .
In particular, for any 0 ≤ j ≤ d -2 if (c, a) ∈ C d , we have:

g n,j (c, a) ≤ C σ(n) d n .
Proof.

-By definition of P n,j , we have:

log |P n,j (c, a)| = k|n µ(n/k) log P k c,a (c j ) -c j ,
Hence, dividing the above by d n and using (5), we deduce:

1 d n log |P n,j (c, a)| -g c,a (c j ) = k|n d k d n µ(n/k) 1 d k log P k c,a (c j ) -c j -g c,a (c j ) .
Suppose that either g c,a (c j ) = G(c, a) > 0 or (c, a) ∈ C d ∩ supp(T j ). Then Lemmas 5.4 and 5.5 imply that:

1 d k log P k c,a (c j ) -c j -g c,a (c j ) ≤ C k d k , for all k. Since µ(n j /k) = ±1
and by the definition of the σ function, we have:

g c,a (c j ) - 1 d n log |P n,j (c, a)| ≤ C σ(n) d n . (7)
This ends the proof in the case where g c,a

(c j ) = G(c, a) > 0 or (c, a) ∈ C d ∩ supp(T j ). Finally, suppose that (c, a) ∈ ∂ S C d . As the Shilov boundary ∂ S C d of C d is contained in ∩ j suppT j , for all n ≥ 2 and all 0 ≤ j ≤ d -2, we have 1 d n log |P n,j (c, a)| ≤ C σ(n) d n . that is, for all (c, a) ∈ ∂ S C d , all n ≥ 2 and all 0 ≤ j ≤ d -2, |P n,j (c, a)| ≤ exp (Cσ(n)) .
By the maximum principle, the bound extends to C d , which gives

|P n,j (c, a)| ≤ exp (Cσ(n)) ,
for any (c, a) ∈ C d , n ≥ 2 and 0 ≤ j ≤ d -2. Taking the logarithm in the above inequality and dividing it by d n finishes the proof.

Observe that in the above proof, we proved the following crucial estimate (see ( 7)):

Proposition 5.7. -Let C ≥ 1 be the constant given by Proposition 5.6 and let n ≥ 1.

Assume that either g c,a (c j ) = G(c, a) > 0, or (c, a) ∈ C d ∩ supp(T j ). Then

g n,j (c, a) -g c,a (c j ) ≥ -C σ(n) d n .

Locating "bad" parameters

We shall now give two basic consequences of the above estimates which will be crucial to our aim. Namely, the following is a consequence of Propositions 5.6 and 5.7. For any (d -1)-tuple n = (n 0 , . . . , n d-2 ) of positive integers, let

B n := d-2 j=0 (c, a) ∈ C d-1 ; |g n j ,j (c, a) -g c,a (c j )| > C σ(n j ) d n j ,
where C ≥ 1 is the constant given by Proposition 5.6.

Corollary 5.8. -For any (d -1)-tuple n = (n 0 , . . . , n d-2 ) of positive integers,

B n = d-2 j=0 (c, a) ∈ C d-1 ; |P n j ,j | < e -Cσ(n j ) ⊂ H n ⊂ C d .
Proof. -Let us first prove that the set

B n = d-2 j=0 |g n j ,j (c, a) -g c,a (c j )| > C σ(n j ) d n j
is contained in the connectedness locus C d . Indeed, for every (c, a) ∈ C d-1 \C d , there exists 0 ≤ j ≤ d -2 such that G(c, a) = g c,a (c j ) > 0 . By Propositions 5.6 and 5.7, we have

-C σ(n j ) d n j ≤ g n j ,j (c, a) -g c,a (c j ) ≤ C σ(n j ) d n j , so that (c, a) ∈ C d-1 \ B n .
g n j ,j (c, a) ≤ C σ(n j ) d n j .
As g c,a (c j ) = 0 in C d , this implies:

B n = d-2 j=0 g n j ,j < -C σ(n j ) d n j ∩ C d .
This can be rewritten as:

d-2 j=0 |P n j ,j | < e -Cσ(n j ) ∩ C d = d-2 j=0 |g n j ,j (c, a) -g c,a (c j )| > C σ(n j ) d n j .
Arguing as above, we see that the set d-2 j=0 |P n j ,j | < e -Cσ(n j ) is contained in C d : if not, for some (c, a) in that set such that g c,a (c j ) = G(c, a) > 0, we have

g n j ,j (c, a) -g c,a (c j ) < g n j ,j (c, a) < -C σ(n j ) d n j ,
which contradicts Proposition 5.7. It remains to prove that B n ⊂ H n . Take a stable component U ⊂ C d which is not contained in H n . Consider the plurisubharmonic function:

φ n := max j (log |P n j ,j | + Cσ(n j )).
Then its Monge-Ampère (dd c φ n ) d-1 is 0 on U by hypothesis (see e.g. [Dem]). On the other hand, by Proposition 5.7, it is non negative in ∂U (∂U

⊂ ∂C d ⊂ ∪ j C d ∩ supp(T j )).
The comparison principle of Bedford and Taylor [BT] implies that it is non negative on

U . Hence U ∩ B n = ∅.
Here is a consequence of Corollary 5.8.

Corollary 5.9. -For any (d -1)-tuple n = (n 0 , . . . , n d-2 ) of pairwise distinct positive integers with n 0 ≥ 2 and any connected component U of B n , the map

P n := (P n 0 ,0 , . . . , P n d-2 ,d-2 ) : C d-1 -→ C d-1
is a biholomorphism from U to the polydisk D n := j D(0, e -Cσ(n j ) ).

Proof. -By Corollary 5.8 and by the maximum principle, P n maps U to D n surjectively. Moreover, by definition of U , the map P n is also proper on U , hence is a finite branched cover from U to D n . Let (c c , a c ) be the unique postcritically finite parameter of U . By Theorem 5.1, the map P n is a local biholomorphism at (c c , a c ) and, since P -1 n {0} = {(c c , a c )}, the degree of P n is 1.

Distribution of postcritically finite hyperbolic polynomials

In the present section, we prove Theorem B. We adapt the strategy we used in the unicritical family (p c ) c∈C in Section 4 to the present situation. We use all along the present section the notations introduced in Sections 5.1 & 5.2. We assume from now on that n = (n 0 , . . . , n d-2 ) is a (d -1)-tuple of pairwise distinct integers with n 0 ≥ 2. We also let D n > 0 be the integer

D n := d-2 j=0 d n j .

Estimates along specific curves

Recall that we denoted by H n the union of hyperbolic components of C d intersecting j Per * j (n j ). Let us first introduce some notations. For δ ∈ C, 0 ≤ j ≤ d -2, we let g δ n j ,j := 1 d n j log |P n j ,j -δ| , and T δ n j ,j := dd c g δ n,j .

For the rest of the section, we also shall write for 0 ≤ j ≤ d -2, g j (c, a) := g c,a (c j ) , T j := dd c g j , g n j ,j := 1 d n j log |P n j ,j | and T n j ,j := dd c g n j ,j .

The key step of our proof can be summarized in the following proposition.

Theorem 6.1. -Let C ≥ 1 be the constant given by Proposition 5.7. Let 0 ≤ j ≤ d -2 and, for all 0 ≤ ℓ ≤ j -1, pick δ ℓ ∈ D (0, exp(-Cσ(n ℓ ))). There exists a constant C ′ ≥ 1 which depends only on d such that for any ϕ ∈ C 2 c (C d-1 ), one has

ℓ<j T δ ℓ n ℓ ,ℓ ∧ T n j ,j -T j ∧ k>j T n k ,k , ϕ ≤ C ′ ϕ C 2 σ(n j ) d n j .
Proof. -Fix 0 ≤ j ≤ d -2. First, the support of ℓ<j T δ ℓ n ℓ ,ℓ ∧ k>j T n k ,k is the algebraic curve

S j := ℓ<j {P n ℓ ,ℓ = δ ℓ } ∩ k>j {P n k ,k = 0} . Pick ϕ ∈ C 2 c (C d-1
). Then

I j (ϕ) := ℓ<j T δ ℓ n ℓ ,ℓ ∧ T n j ,j -T j ∧ k>j T n k ,k , ϕ = (g n j ,j -g j )dd c ϕ ∧ ℓ<j T δ ℓ n ℓ ,ℓ ∧ k>j T n k ,k = d n j D n S j (g n j ,j -g j ) dd c ϕ .
As ϕ is C 2 , we have (up to a constant that depends on the choice of the C 2 -norm) that ϕ C 2 ω ± dd c ϕ ≥ 0, where ω is the Fubini-Study form on P d-1 , hence we can write

|I j (ϕ)| ≤ ϕ C 2 d n j D n S j |g n j ,j -g j | ω .
According to Corollary 5.8, the set E j := S j ∩ {|g n j ,jg j | > Cσ(n j )/d n j } is contained in S j ∩ H n and coincides with {(c, a) ∈ S j ; |P n j ,j | < e -Cσ(n j ) }. Hence

S j |g n j ,j -g j | ω ≤ E j |g n j ,j | ω + C σ(n j ) d n j S j ω .
By Corollary 5.9, the curve S j is smooth in the open set B n . By the maximum principle, E j is a finite union of D n topological disks (see § 5.1), which are bounded since contained in C d . We now let u j := d n j g n j ,j = log |P n j ,j |. Then dd c (u j | S j ) = α z 0 δ z 0 , for some collection {α z 0 } of positive integers, where the sum ranges over Per * j (n j )∩S j . Moreover, by Bézout, we see that the finite measure dd c u j ∧ S j has mass D n . In particular, dd c (u j | S j ) = δ z 0 .

Let now Ω j be a connected component of E j . According to Theorem 3.2, there exists C 1 > 0 universal such that

Ω j |u j |ω ≤ Ω j |u j |β ≤ C 1 max{ u j L ∞ (∂Ω j ) , 1}Area β (Ω j ) .
Now, since g n j ,j = -C σ(n j ) dn j on the boundary ∂Ω j of Ω j in S j , we have u j L ∞ (∂Ω j ) = Cσ(n j ) ≥ 1 and we find

Ω j |g n j ,j |ω ≤ C 1 C σ(n j ) d n j Area β (Ω j ) . Since C d ⋐ B(0, 16 √ d -1)
, see e.g. [DF, Proof of Proposition 6.3], we can find C 2 > 0 depending only on d such that β ≤ C 2 ω on C d . In particular, Area β (Ω j ) ≤ C 2 Area ω (Ω j ). Summing up on the components Ω j of E j gives

E j |g n j ,j |ω ≤ C 2 C 1 C σ(n j ) d n j S j ω .
Finally, by Bézout, the integral S j ω is equal the degree of the curve, i.e. D n /d n j (see e.g. [C]). Summarizing what we did to now, we find

|I j (ϕ)| ≤ ϕ C 2 (1 + C 2 C 1 ) C σ(n j ) d n j ,
which gives the wanted result since C ′ := (1 + C 2 C 1 )C depends only on d.

Intermediate estimates

We introduce some notations. For all 0 ≤ j ≤ d -2, we let gn j ,j := max g n j ,j , -2C σ(n j ) d n j , and T n j ,j := dd c gn j ,j .

Let us set δ j (θ) := e -2Cσ(n j )+iθ , θ ∈ R. It is classical that gn j ,j = 1 2πd n j 2π 0 log P n j ,jδ j (θ) dθ , and T n j ,j = 1 2π

2π 0 T δ j (θ)
n j ,j dθ .

We now want to prove the following technical step of the proof of Theorem B.

Lemma 6.2. -Let C be the constant given by Proposition 5.7. Then, for any j ≥ 1, any 0 ≤ r ≤ j -1 and any ϕ ∈ C 2 c (C d-1 ), we have

ℓ<r T ℓ ∧ (T r -T nr,r ) ∧ r<q<j T nq,q ∧ (T n j ,j -T j ) ∧ k>j T n k ,k , ϕ ≤ 4C σ(n r ) d nr ϕ C 2 . Proof. -Let j ≥ 1. Pick ϕ ∈ C 2 c (C d-1
) and let

L j (ϕ) := ℓ<r T ℓ ∧ (T r -T nr,r ) ∧   r<q<j T nq,q   ∧ (T n j ,j -T j ) ∧   k>j T n k ,k   , ϕ = (g r -gnr,r )dd c ϕ ∧ ℓ<r T ℓ ∧   r<q<j T nq,q   ∧ (T n j ,j -T j ) ∧   k>j T n k ,k   .
As ϕ is C 2 , up to a constant that depends on the choice of the C 2 -norm, we have ϕ C 2 ω ± dd c ϕ ≥ 0, where ω is the Fubini-Study form on P d-1 , hence we can write

|L j (ϕ)| ≤ ϕ C 2 |g r -gnr,r | ω ∧ ℓ<r T ℓ ∧   r<q<j T nq,q   ∧ T n j ,j ∧   k>j T n k ,k   + ϕ C 2 |g r -gnr,r | ω ∧ ℓ<r T ℓ ∧   r<q<j T nq,q   ∧ T j ∧   k>j T n k ,k   .
Each of the (1, 1)-currents T ℓ , T n ℓ ,ℓ and T n ℓ ,ℓ having projective mass 1, by Bézout, we find

|L j (ϕ)| ≤ 2 ϕ C 2 sup |g r -gnr,r | , (8)
where the supremum is taken over the support of the current

W := ℓ<r T ℓ ∧   r<q<j T nq,q   ∧ (T n j ,j + T j ) ∧   k>j T n k ,k   .
Owing to (8), the next lemma ends the proof. Proof. -On supp(W ), we have g ℓ = 0 for all ℓ < r and all ℓ ≥ j. Indeed, for such l, by definition of W we are in the set where the critical point c l has bounded orbit (observe that if (c, a) ∈ suppT n l ,l then the critical point has periodic hence bounded orbit). Moreover, for any r < ℓ < j, we have |P n ℓ ,ℓ | = e -2Cσ(n ℓ ) . Let (c, a) ∈ supp(W ) such that g r (c, a) < G(c, a). This implies the existence of r < ℓ < j such that G(c, a) = g ℓ (c, a) > g r (c, a) ≥ 0. Then, by Proposition 5.7:

-2C σ(n ℓ ) d n ℓ -g ℓ (c, a) = g n ℓ ,ℓ (c, a) -g ℓ (c, a) ≥ -C σ(n ℓ ) d n ℓ ,
which implies g ℓ < 0. This is a contradiction so we know that g In particular, g nr,r (c, a) = gnr,r (c, a) and the estimate follows.

Speed of convergence: proof of Theorem B

We are now in position to prove Theorem B. Pick ϕ ∈ C 2 c (C d-1 ). We want to estimate

Λ n (ϕ) := µ n -µ bif , ϕ = d-2 j=0 T n j ,j - d-2 j=0 T j , ϕ .
We shall decompose µ nµ bif into several pieces using a classical finite telescoping sum argument:

µ n -µ bif = d-2 j=0   ℓ<j T ℓ ∧ (T n j ,j -T j ) ∧ k>j T n k ,k   = d-2 j=0 S j . (9)
For j ≥ 1, using T j = T n j ,j + (T j -T n j ,j ), we rewrite the j-th term S j of (9) and find

S j = ℓ<j T n ℓ ,ℓ ∧ (T n j ,j -T j ) ∧ k>j T n k ,k + r<j-1   ℓ<r T ℓ ∧ (T r -T nr,r ) ∧ r<q<j T nq,q ∧ (T n j ,j -T j ) ∧ k>j T n k ,k   .
According to Lemma 6.2, for j ≥ 1, we find

| S j , ϕ | ≤ ℓ<j T n ℓ ,ℓ ∧ (T n j ,j -T j ) ∧ k>j T n k ,k , ϕ + 4C r<j σ(n r ) d nr ϕ C 2 .
We now want to give an estimate for

J j := ℓ<j T n ℓ ,ℓ ∧ (T n j ,j -T j ) ∧ k>j T n k ,k , ϕ .
To do so, we shall use the decomposition

T n ℓ ,ℓ = (2π) -1 [0,2π] T δ ℓ (θ)
n ℓ ,ℓ dθ and Fubini:

J j = 1 (2π) j-1 [0,2π] j-1 ℓ<j T δ ℓ (θ ℓ ) n ℓ ,ℓ ∧ (T n j ,j -T j ) ∧ k>j T n k ,k , ϕ dθ 0 • • • dθ j-1 .
By Theorem 6.1, there exists a constant C ′ > 0 depending only on d such that

|J j | ≤ 1 (2π) j-1 [0,2π] j-1 ℓ<j T δ ℓ (θ ℓ ) n ℓ ,ℓ ∧ (T n j ,j -T j ) ∧ k>j T n k ,k , ϕ dθ 0 • • • dθ j-1 ≤ 1 (2π) j-1 [0,2π] j-1 C ′ σ(n j ) d n j ϕ C 2 dθ 0 • • • dθ j-1 = C ′ σ(n j ) d n j ϕ C 2 .
All we have done so far summarizes as follows

d-2 j=1 | S j , ϕ | ≤ d-2 j=1   C ′ σ(n j ) d n j + 4C r<j σ(n r ) d nr   ϕ C 2 .
All which is left to do is to estimate S 0 , ϕ . By Theorem 6.1, we have

| S 0 , ϕ | ≤ C ′ σ(n 0 ) d n 0 ϕ C 2 ,
and we have finally proven

Λ n (ϕ) ≤ d-2 j=0 | S j , ϕ | ≤   (d -1)C ′ + 4C d-2 j=1 (j -1)   max 0≤j≤d-2 σ(n j ) d n j ϕ C 2 , which ends the proof, since (d -1)C ′ + 4C d-2 j=1 (j -1) = (d -1)C ′ + 2C(d -1)(d -2) depends only on d.

Distribution of polynomials with prescribed multipliers

The aim of this section is to derive Theorem C and Theorem D from Theorem B. We begin with the proof of Theorem C which is based on the same idea as that of [START_REF] Favre | Distribution of postcritically finite polynomials[END_REF]Theorem 3]. For our purpose, we have to refine the techniques used in [FG]. We then prove Theorem D using DSH techniques (see e.g. [DTV]).

Distribution of polynomials with (d -1) attracting cycles

Pick any (d-1)-tuple n = (n 0 , . . . , n d-2 ) of pairwise distinct positive integers with n 0 ≥ 2.

Let Ω be hyperbolic component of C d . Assume the for any (c, a) ∈ Ω, the polynomial P c,a admits (d -1) distinct attracting cycles C 0 , . . . , C d-2 of respective exact periods n 0 , . . . , n d-2 and let ρ i (c, a) ∈ D be the multiplier of the attracting cycle C i . We call the map ρ Ω := (ρ 0 , . . . , ρ d-2 ) : Ω → D d-1 the multipliers map of the component Ω where D d-1 is the unit polydisk in C d-1 . It is known that it is a biholomorphism (see § 5.1).

Recall that we denoted D n := j d n j and that there exists polynomials

p n : C d-1 × C -→ C
detecting parameters having a cycle of exact period n and given multiplier w ∈ C (see Lemma 2.5 in § 2.2). Moreover, we have

-deg c,a p n (•, w) = (d -1)d n for any w ∈ C. Indeed, deg c,a p n (•, w) is independent of w, we can write [p n (•, 0) = 0] = j [Per * j (n)] and Per * j (n) has degree d n , -deg w p n (c, a, •) = d n /n for any (c, a) ∈ C d-1 (see [BB3, §2.1]). For w ∈ C and n ≥ 1, let Per * (n, w) := {(c, a) ∈ C d-1 ; p n (c, a, w) = 0}.
Let w 0 , . . . , w d-2 ∈ D and let n 1 , . . . , n d-2 be pairwise distinct positive integers with n 0 ≥ 2. According to [START_REF] Favre | Distribution of postcritically finite polynomials[END_REF]§6], for any (c, a) ∈ j Per * (n j , w j ), the intersection between the Per * (n j , w j ) is smooth and transverse at (c, a) and Card( j Per * (n j , w j )) is independent of (w 0 , . . . , w d-2 ). In particular, we have the following. As the intersection d-2 j=0 Per * σ(j) (n j ) is smooth and transverse for all σ ∈ S d-1 , the measure µ n,0 is the probability measure which is proportional to

σ∈S d-1 1 D n d-2 j=0 [Per * σ(j) (n j )]
which has mass (d -1)!. As a consequence, we have

µ n,0 = σ∈S d-1 1 (d -1)!D n d-2 j=0 [Per * σ(j) (n j )] . Fix now ϕ ∈ C 1 c (C d-1
). By a classical interpolation argument, Theorem B gives a constant C 1 depending only on d, such that

| µ n,0 , ϕ -µ bif , ϕ | ≤ C 1 max j σ(n j ) d n j 1/2 ϕ C 1 .
This is the wanted result when w = 0.

Pick now w

∈ D d-1 \ {0} and ϕ ∈ C 1 c (C d-1
). We write w[0] := (0, . . . , 0) and for any 1 ≤ j ≤ d-1, we set w[j] := (w 0 , . . . , w j-1 , 0, . . . , 0) and µ

j := µ n,w[j] , so that w[d-1] = w, µ 0 = µ n,0 and µ d-1 = µ n,w . To conclude, it is sufficient to prove that | µ j , ϕ -µ j+1 , ϕ | ≤ C ′ max 0≤i≤d-2 1 d n j , -1 d n j log |w i | 1/2 ϕ C 1 ,
for some constant C ′ > 0 depending only on d. If w j = 0, there is nothing to prove, since in that case w[j] = w[j + 1]. We thus may assume that w j = 0. we consider the algebraic subvariety

C j := h<j Per * (n h , w h ) ∩ l>j Per * (n l , 0) . Observe that C j ∩ Per * (n j , 0) = k Per * (n k , w[j] k ) is finite, hence C j
is an algebraic curve and that the intersections are smooth and transverse, by Proposition 7.1.

Let X j := k Per * (n k , w[j] k ). Pick any point (c, a) ∈ X j , and let Ω c,a be the hyperbolic component containing (c, a). Using [START_REF] Favre | Distribution of postcritically finite polynomials[END_REF]Theorem 6.8], we define φ c,a,j : D(0, |w j | -1/2 ) → Ω c,a by setting φ c,a,j (t) := ρ -1 c,a (w 0 , . . . , w j-1 , tw j , 0, . . . 0) .

By construction, the disks D c,a,j := φ c,a,j (D(0, |w j | -1/2 )) and D ′ c,a,j := φ c,a,j (D(0, 1)) ⋐ D c,a,j are included in Ω c,a ∩ C j , φ c,a,j (0) = (c, a) and φ c,a,j (1) belongs to X j+1 . Any hyperbolic component contains a unique point in X j , hence the collection of disks D c,a,j is disjoint. Note also that any point in X j+1 belongs to a hyperbolic component, and thus is equal to φ c,a,j (1) for a unique (c, a) ∈ X j .

By Cauchy-Schwarz inequality,

| µ j , ϕ -µ j+1 , ϕ | ≤ 1 (d -1)! • D n X j |ϕ(φ c,a,j (0)) -ϕ(φ c,a,j (1))| ≤ 1 (d -1)! • D n ϕ C 1 X j Diam β D ′ c,a,j ≤ ϕ C 1 (d -1)! • D n   X j Diam β (D ′ c,a,j ) 2   1/2
.

Recall that ρ c,a is a biholomorphism for any (c, a) ∈ X j . In particular, mod D c,a,j \ D ′ c,a,j = mod(D(0,

|w j | -1/2 ) \ D) = -1 4π log |w j | .
By Lemma 2.7, we deduce From which, since Ω c,a ∩ Ω c ′ ,a ′ = ∅ for (c, a) = (c ′ , a ′ ) ∈ X j and D c,a,j ⊂ Ω c,a ∩ C j , we deduce For the content of the present, we are inspired by the techniques of [DTV] (see also [START_REF] Dinh | Dynamics in several complex variables: endomorphisms of projective spaces and polynomial-like mappings[END_REF]). Let ω be the Fubini-Study form on P 1 and let π j : (P 1 ) k → P 1 be the canonical projection to the j-th factor. We denote ω j := π * j (ω). We define a smooth probability measure Ω on (P 1 ) k by Ω := ω 1 ∧ • • • ∧ ω k .

| µ j , ϕ -µ j+1 , ϕ | ≤ ϕ C 1 (d -1)! • D n
First, recall some facts on DSH functions. Let k ≥ 1. Recall that a probability measure ν in (P 1 ) k has bounded quasi-potentials (or is PB) if ν admits a negative quasi-potential U (that is a negative (k -1, k -1) current U such that dd c U + Ω = ν in the sense of current) such that | U, S | ≤ C for any positive smooth form S of bidegree (1, 1) and mass 1 ( [START_REF] Dinh | Dynamics of regular birational maps in P k[END_REF]). Such nmapping S → U, S can be extended to any positive closed current of bidegree (1, 1) and mass 1 with the same bound | U, S | ≤ C (using structural varieties in the space of currents). An interesting example of PB measure is the tensor product of measures in P 1 with bounded quasi-potentials (in which case, having bounded quasipotential is equivalent to the fact that the quasi-potential is bounded as a qpsh function).

We say that a function ϕ on (P 1 ) d-1 is DSH if, outside a pluripolar set, it can be written as a difference of qpsh functions (for example, ϕ ∈ C 2 ). Let DSH P 1 d-1 be the space of such functions. We write dd c ϕ = T + -T -where T ± are positive closed currents of bidegree (1, 1). Let ν be a PB measure on (P 1 ) d-1 . Then, the following defines a norm on the space DSH P 1 d-1 :

ϕ ν := ϕ L 1 (ν) + inf T ±
where the infimum is on all the decompositions dd c ϕ = T + -T -. It turns out that taking another PB measure ν ′ gives an equivalent norm on DSH P 1 d-1 (see e.g. [START_REF] Dinh | Dynamics in several complex variables: endomorphisms of projective spaces and polynomial-like mappings[END_REF]p. 283]).

Let ϕ be a C 2 function on (P 1 ) d-1 , in particular ϕ is DSH and let n = (n 0 , . . . , n d-2 ) be a (d -1)-uple of pairwise distinct positive integers with n 0 ≥ 2. Consider the function: This intersection is well defined outside an analytic (hence pluripolar) set E n . So, if we consider the pluripolar set E := ∪ n E n , the map Φ ϕ n is well defined outside E for all n. Adding a pluripolar set if necessary, we can assume that this stands for w / ∈ E and all j then w j = 1.

For the rest of the subsection, we let ν be a smooth probability measure with support in D(0, 1/2) d-1 . Such a measure indeed exists and is PB, furthermore, we will be able to apply uniform estimate for ν using Theorem C.

The main result we need here is the following.

Lemma 7.2. -There exists a constant C ϕ depending only on ϕ and on d such that for all n, the function Φ ϕ n is DSH with:

Φ ϕ n -µ bif , ϕ ν ≤ C ϕ max j 1 n j .
Hence, it converges ν-almost everywhere to 0. As all DSH-norms are equivalent, we have that for another P B measure ν ′ , there exists a constant C ′ > 0 depending only on k such that

Φ ϕ n k -µ bif , ϕ L 1 (ν ′ ) ≤ C ′ max j 1 n j,k
and we can apply the same argument: it converges to 0, ν ′ -a.e. Finally, when a set E is of ν ′ -measure 0 for all PB measure ν ′ , it is pluripolar. Indeed, its logarithmic capacity has to vanish. We deduce, in particular, that the sequence Φ ϕ n kµ bif , ϕ converges to 0 outside a pluripolar set of (P 1 ) d-1 .

By separability, we apply the same argument to a dense countable family in C c (C d-1 ) of ϕ ∈ C 2 (P 1 ) d-1 . As a countable union of pluripolar sets is again pluripolar, we deduce that outside a pluripolar set the measure µ n k ,w converges to µ bif . This ends the proof of Theorem D.

Remark. -1. In the moduli space of quadratic rational maps (which is biholomorphic to C 2 ), the curves Per * (3, 1) and Per * (2, -3) have a common irreducible component (see [M1]). Such a behavior is expected to be impossible in the moduli space of degree d polynomials P d . We even expect the exceptional set E appearing in Theorem D to be empty. 2. We also expect the convergence of Theorem D to hold for any sequence n k of (d -1)tuple, though we don't know how to prove it.

We now give a quick proof of Corollary E.

Proof of Corollary E. -The Shilov boundary of D d-1 is exactly (S 1 ) d-1 and the pluricomplex Green function of D d-1 , which is given by g = log + max i {|z i |}, is continuous and ν := (dd c g) d-1 coincides with the Lebesgue measure of (S 1 ) d-1 , hence does not give mass to pluripolar sets. By Theorem D, for ν-a.e. w, the sequence (µ n k ,w ) k converges to µ bif .

Distribution of parametric preimages

Let (f λ ) λ∈Λ be a holomorphic family of rational maps of degree d ≥ 2 on P 1 with dim(Λ) = m. Let ω Λ be a Kähler form on Λ. Assume that c 1 , . . . , c k are marked critical points and let T 1 , . . . , T k be their respective bifurcation currents (see Section 2.1). For 1 ≤ j ≤ k, we let v j n : Λ → P 1 be the map defined by v j n (λ) = f n λ (c j (λ)) and set v n := (v 1 n , . . . , v k n ). Let ω j and Ω be defined as in Section 7. Then [Du, Theorem 0.3] asserts that there exists a pluripolar set E ⊂ (P 1 ) k such that if (z 1 , . . . , z k ) ∈ (P 1 ) k \ E, the following equidistribution statement holds:

1 d nk [{f n λ (c 1 (λ)) = z 1 } ∩ • • • ∩ {f n λ (c k (λ)) = z k }] → T 1 ∧ • • • ∧ T k .
Observe that the equidistribution statement can be rewritten as:

1 d nk (v 1 n ) * (δ z 1 ) ∧ • • • ∧ (v k n ) * (δ z k ) = 1 d nk (v n ) * (δ (z 1 ,...,z k ) ) → T 1 ∧ • • • ∧ T k .
We want to give here some improved versions of that theorem with speed estimates.

The proof is quite elementary. Recall that PB measures were defined in the previous section. Our precise result may be formulated as follows.

  B. -Let d ≥ 3. Then there exists a constant C > 0 depending only on d such that for any (d-1)-tuple of pairwise distinct positive integers n = (n 0 , . . . , n d-2 ) with n 0 ≥ 2 and every test function ϕ ∈ C 2 c (C d-1

  Lemma 4.1. -There exists C 1 > 0 depending only on d such that d -n+1 log |p n c (0)|g M d (c) ≤ n d n-1 C 1 , for any c ∈ C \ M d and any n ≥ 1. Proof. -Let n ≥ 1 and set u n (c) := d -n+1 log |p n c (0)|, c ∈ C. A classical and easy computation shows that, for any c ∈ M d , one has |p n c (0)| ≤ 2(e.g. [DH1]). Let M 1 := sup c∈∂M d M (c), where M (c) is the constant given by Lemma 3.1. Then, for all c ∈ ∂M d ,

  Now, let Ω be a connected component of H n . Then, by Lemma 4.3, the function v n satisfies dd c v n = δ c Ω where c Ω is the center of the component Ω. Hence using Theorem 3.2 and Lemma 4.1 gives (take log |f | = v n ):

  C 1 -estimate to non-postcritically finite but hyperbolic parameters, i.e. parameters c ∈ M d for which p c has a cycle of period k|n and multiplier w k/n where w ∈ D * has been fixed. Let us be more precise: For any n ≥ 1 and any w ∈ C, let R n (c, w) := Res z (p n c (z)z, (p n c ) ′ (z) = w) and Per(n, w) := {c ∈ C ; R n (c, w) = 0} . By the above section § 2.2, we have Per(n, w) = {c ∈ C ; ∃z ∈ C , p n c (z) = z and (p n c ) ′ (z) = w} = k|n Per * (k, w n/k ) .

  Lemma 5.2. -There exists a constant C > 0 depending only on d (1) such that g c,a (z) ≤ log + max{|z|, |c|, |a|} + C for all z ∈ C and all (c, a) ∈ C d-1 . Lemma 5.3. -For all z ∈ C and all (c, a) ∈ C d-1 , we have max{g c,a (z), G(c, a)} ≥ log |z -δ|log 4, where δ = d-2 j=1 c j /(d -1). The main difficulty is to get a uniform constant in the error term. On the other hand, lemma 5.5 focuses on bounding from below the growth of d -n log |P n c,a (c j )c j | by the escape rate of the critical point c j . Though the bound from below can not hold in full generality when (c, a) ∈ C d (indeed, the critical point could be periodic for example), we manage to derive the wanted estimate when the critical point is active from Lemma 3.1. Lemma 5.4. -There exists a constant C 1 > 0 depending only on d such that for any (c, a) ∈ C d-1 and any j such that g c,a (c j ) = G(c, a), for any n ≥ 1, then 1 d n log |P n c,a (c j )c j |g c,a (c j ) ≤ C 1 1 d n . Proof. -The proof breaks in two distinct parts: we first treat the case G(c, a) = 0 and, in a second time, we focus on the case when G(c, a) > 0 and g c,a (c j ) = G(c, a). Assume first that (c, a) ∈ C d , i.e. G(c, a) = 0. Then for any j, g c,a (c j ) = 0 = G(c, a). Recall that |P c,a (z)| ≥ 1 2 |z| 2 as soon as |z| ≥ 2d 2 max{|c|, |a|, 1} (see e.g. [I]). In particular, if |P n c,a (c j )| ≥ 2d 2 max {|c|, |a|, 2} for some n ≥ 1 then |P n+1 c,a (c j )| > 2|P n c,a (c j )| and |P n+1 c,a (c j )| ≥ 2d 2 max {|c|, |a|, 2}. Iterating the argument shows that the sequence (P m c,a (c j )) m diverges so (c, a) / ∈ C d . We deduce that for all (c, a) ∈ C d and all n ≥ 1:

  Lemma 5.5. -Let d ≥ 3. Then there exists a constant C 2 ≥ C 1 > 0 depending only on d such that for any (c, a) ∈ C d-1 and any 0 ≤ j ≤ d -2 with either g c,a (c j ) = G(c, a) > 0 or (c, a) ∈ C d ∩ supp(T j ) and any n ≥ 1, we have

  The same argument implies in fact that B n is contained in the interior of C d , using the case (c, a) ∈ C d ∩ supp(T j ) in Proposition 5.7 and ∂C d = j C d ∩ supp(T j ). Now from Proposition 5.6, we have that for all (c, a) ∈ C d and all 0 ≤ j ≤ d -2:

  Lemma 6.3. -Let C > 0 be as above. For any (c, a) ∈ supp(W ), we have |g nr,r (c, a)g r (c, a)| ≤ 2C σ(n r ) d nr .

  r (c, a) = G(c, a) for all (c, a) ∈ supp(W ). Assume now that (c, a) ∈ supp(W ) satisfies g r (c, a) = 0. By the above, (c, a) ∈ C d , hence by Proposition 5.6:g nr,r (c, a) ≤ C σ(n r ) d nr so gnr,r (c, a) ≤ C σ(n r ) d nr .Whence, by definition of gnr,r (c, a):-2C σ(n r ) d nr ≤ gnr,r (c, a) = gnr,r (c, a)g r (c, a) ≤ C σ(n r ) d nr . Assume finally that (c, a) ∈ supp(W ) satisfies G(c, a) = g r (c, a) > 0. By Propositions 5.6 and 5.7, we find |g nr,r (c, a)g r (c, a)| ≤ C σ(n r ) d nr .

  Proposition 7.1. -Let w 0 , . . . , w d-2 ∈ D and let n 1 , . . . , n d-2 be pairwise distinct positive integers with n 0 ≥ 2. Then Card( j Per * (n j , w j )) = (d -1)!D n .Proof. -By the above, it is sufficient to estimate this cardinal forw 0 = • • • = w d-2 = 0. For n ≥ 1, it is easy to see that Per * (n, 0) = d-2 j=0 Per * j (n). In particular, proof, since Card( d-2 j=0 Per * s(j) (n j )) = D n for any s ∈ S d-1 .We are now in position to prove Theorem C. We deduce Theorem C from Theorem B. Our strategy mixes arguments from the proof of Corollary 4.4 and from the proof of[START_REF] Favre | Distribution of postcritically finite polynomials[END_REF] Theorem 3]. Proof of Theorem C. -Let us first prove our result for w = (0, . . . , 0). The set of parameters (c, a) ∈ C d-1 such that P c,a has (d -1) distinct super-attracting cycles of respective exact periods n 0 , . . . , n d-2 coincides with σ∈S d-1 d-2 j=0 Per * σ(j) (n j ) .

,

  Area ω (D c,a,j ) ≤ Area ω (C j ) ≤ deg(C j ) = (d -1)! D n d n j . Now, since Ω c,a ⊂ C d ⊂ B(0, 16 √ d -1) (see the proof of Theorem B), there exists a constant C 2 > 0 such that β ≤ C 2 ω on Ω c,a , for all (c, a) ∈ X j . Hence Area β (D c,a,j ) ≤ C 2 Area ω (D c,a,j). Combined with the above, this gives| µ j , ϕµ j+1 , ϕ | ≤ 16 πτ (d -1whereC 3 = 32π τ (d -1)C 2 .7.2. Convergence for multipliers outside a pluripolar set: Theorem D

  Φ ϕ n : w = (w 0 , . . . , w d-2 ) ∈ C d-1 → ϕ, µ n,w where µ n,w := 1 (d -1)! j d n j d-2 j=0 [Per * (n j , w j )] .

Proof. -Let Π 1 (resp. Π 2 ) denote the canonical projection from P d-1 × P 1 d-1 to P d-1 (resp. P 1 d-1 ). We let also πj : P 1 d-1 → P 1 be the canonical projection to the j-th factor. Let ω 1 (resp. ω d-1 ) denote the Fubini-Study form on P 1 (resp. P d-1 ). Consider in P d-1 × P 1 d-1 the (trivial extension of the) analytic set: P(n, j) := {(c, a, w), (c, a) ∈ Per * (n, w j-1 )} .

Then (c, a, w) ∈ P(n, j) if and only if p n (c, a, w j-1 ) = 0 where the polynomials p n where defined in the previous section. Recall that deg w p n = d n /n and deg (c,a) p n = (d -1)d n (see Section 7.1).

In particular, the current of integration [P(n, j)] is cohomologous to

Observe that the function Φ ϕ n can be defined in C d-1 \ E as the following slice (we refer to [START_REF] Dinh | Dynamics in several complex variables: endomorphisms of projective spaces and polynomial-like mappings[END_REF]p. 280] for slicing on currents):

Since the slicing commutes with the operator dd c , we have

), the mass of

[P(n j , j + 1)], Π 2 , w can be computed in cohomology. In particular, it is bounded from above:

On the other hand, according to Theorem C above, for all w ∈ supp(ν), we have

where C > 0 depends only on d and C ϕ > 0 depends only on d and ϕ. The result follows since the function Φ ϕ n is DSH and

We finish the proof of Theorem D.

Proof of Theorem D. -We assume that the series

Theorem 8.1. -Assume that the family (f λ ) λ∈Λ is algebraic, i.e. that Λ is a quasiprojective variety and let m := dim(Λ). Let K be a compact subset K ⋐ Λ, then with the above notations and hypotheses we have:

1. Let ν be a probability measure on (P 1 ) k with bounded potentials, then there exists C(K) > 0 such that for any C 2 -form ϕ of bidegree (mk, mk) and support in K and any n ≥ 1:

2. Let (a n ) be a sequence of positive number such that a n < ∞, then there exists a pluripolar set E ⊂ (P) k such that if (z 1 , . . . , z k ) ∈ (P 1 ) k \E, then there exists C(K) > 0 such that for any C 2 -form ϕ of bidegree (mk, mk) and support in K and any n ≥ 1:

Proof. -Let us first prove the first point. Recall that if we let

) on K (see e.g. [Du]) hence using the same arguments than above, it is enough to prove the bound:

and let U be a quasi-potential of ν (i.e. dd c U +Ω = ν). Applying Stokes formula (Lemma 2.8), we find

As we assumed that Λ is a quasiprojective variety, the mass of the current d

Λ

) is uniformly bounded. The fact that ν is PB gives the wanted result.

We now prove the second point. Let (a n ) be a sequence of positive numbers such that a n < ∞. Observe that the positive closed current

Λ

) is well defined and has finite mass. For z ∈ (P 1 ) k , we let U z be the Green quasi-potential of δ z (see [START_REF] Dinh | Super-potentials of positive closed currents, intersection theory and dynamics[END_REF]). The complementary of the set of points z ∈ (P 1 ) k such that U z , S > -∞ is a pluripolar set we shall denote by E. For any z / ∈ E, following the above proof, we find

This ends the proof.

Removing the assumption on the algebraicity of the family, one can using the same techniques, prove the following.

Proposition 8.2. -Let K be a compact subset K ⋐ Λ. For j ≤ k let ν j be a measure in P 1 with bounded potentials and let ν := ν 1 ⊗ • • • ⊗ ν k . Then there exists C(K) > 0 such that for any C 2 -form ϕ of bidegree (mk, mk) and support in K and any n ≥ 1:

The proof is similar to the above one although we do not need to push forward by v n here and use instead that the sequence (d -n (v j n ) * (ν j )) is locally uniformly bounded in mass.

As observed in [Du], the question is parallel to the equidistribution of preimages of points under a rational map or more generally under a holomorphic endomorphism of P k (see e.g. [Lj, BD]). In the case of such a single map, it is known that the exceptional set, i.e. the set of points for which one does not have equidistribution, is algebraic.

In the particular case of the unicritical family, let v n (c) := p n c (0), c ∈ C. Using the classical proof of the equidistribution of centers of hyperbolic components, we can prove that the exceptional set is reduced to the point ∞ which is exceptional for any p c : Proof. -We follow closely Levin [Le]. Indeed, take u n

Then u n is a sequence of subharmonic functions that are bounded in L 1 loc . Extracting a converging subsequence, we have that the limit u is equal to g M d outside the Mandelbrot set since |v n (c) -z| ≃ |v n (c)| outside the connectedness locus. Similarly, u ≤ g M d elsewhere. As g M d is continuous and µ M d gives no mass to the boundary of the component of the interior of M d , its implies that u = g M d (see [START_REF] Buff | Quadratic polynomials, multipliers and equidistribution[END_REF]).

Finally, remark that the polynomial v n extends at infinity of the parameter space by setting v n (∞) = ∞. We get this way a polynomial map v n : P 1 → P 1 of degree d n-1 . Hence (v n ) * (δ ∞ ) = d n-1 δ ∞ for any n ≥ 1, which concludes the proof.

Question. -Let E be the set of points (z 1 , . . . , z k ) ∈ (P 1 ) k where d -nk (v n ) * (δ (z 1 ,...,z k ) ) does not converge to T 1 ∧ • • • ∧ T k .

1. Is E empty for families of rational maps with generic empty exceptional set? 2. Is it reduced to k j=1 (P 1 ) j-1 × {∞} × (P 1 ) k-j in any family of polynomials?