C. Au, . Et, and . Du, ordre trigonométrique) un intervalle de S ? , dont la taille est appelée à tendre vers zéro, centré en un point ? ? S ? . Considérons le vecteur v = v 0,? basé en 0 et pointant vers ?

. Preuve, Nous utilisons l'inégalité triangulaire : dist(y 0 , y 1 ) ? dist(y 0 , y) + dist(y 1 , y)

D. Part, y) est la déviation par rapport à la division harmonique du quadruplet (h(a), h(?), h(b), h(? ? )) : par la proposition 8.1.8, elle est majorée par une constante uniforme. D'autre part, la projection orthogonale sur h(a, b) est une projection : distance dist(y, y 0 ) est ainsi inférieure à la distance dist

. La-distance-dist, h(?), h(b)) par rapport à la division harmonique Une nouvelle utilisation de la proposition 8.1.8 nous dit donc que cette distance est bornée indépendamment de I . Puisque, par l'inégalité triangulaire, dist(y 0 , y ? ) ? dist(y 0 , y 1 ) + dist(y 1, nous pouvons, en utilisant le lemme précédent 8.2.5, conclure la preuve du lemme. [AR] F.Alcalde Cuesta, A.Rechtman, Averaging sequences, pp.255-256, 2012.

]. S. Al and . Alvarez, Discretization of harmonic measures for foliated bundles, C. R. Acad. Sci. Paris, Ser I, vol.350, pp.621-626, 2012.

]. D. An and . Anosov, Geodesic flows on closed Riemannian manifolds with negative curvature, Proc. Steklov Math, 1969.

. T. As-]-m, R. Anderson, and . Schoen, Positive harmonic functions on complete manifolds of negative curvature, Ann. of Math, vol.121, pp.429-461, 1985.

]. D. Asi, Y. Anosov, and . Sinai, Certain smooth ergodic systems, Russian Math. Surveys, vol.22, pp.103-167, 1967.

. M. Bl, F. Babillot, and . Ledrappier, Geodesic paths and horocycle flows on abelian covers, Lie Groups and ergodic theory, Tata Inst. Fund. Res. Stud. Math, pp.14-15, 1996.

]. W. Ba and . Ballmann, Lectures on Spaces of Nonpositive Curvature, 1995.

]. W. Bal, F. Ballmann, and . Ledrappier, Discretization of positive harmonic functions on Riemannian manifolds and Martin boundary, Actes de la Table Ronde de la Géométrie Différentielle, Sémin. Congr. Soc. Math. Fr, vol.1, pp.77-92, 1992.

]. L. Be and . Bers, Simultaneous Uniformization, Bull. Amer. Math. Soc, vol.66, pp.94-97, 1960.

. C. Bdv, L. Bonatti, M. Díaz, and . Viana, Dynamics Beyond Uniform Hyperbolicity. A global geometric and probabilistic perspective, Encyclopaedia of Mathematical Sciences Mathematical Physics, III, 2005.

. C. Bgv, X. Bonatti, M. Gómez-mont, and . Viana, Généricité d'exposants de Lyapunov non-nuls pour des produits déterministes de matrices, Ann. I. H. Poincaré. Anal. Non Lin, vol.20, pp.579-624, 2003.

]. C. Bgvil, X. Bonatti, R. Gómez-mont, and . Vila, Statistical behaviour of the leaves of Ricatti foliations, Ergod. Th. & Dynam. Sys, vol.30, pp.67-96, 2010.

. C. Bv, M. Bonatti, and . Viana, Lyapunov exponents with multiplicity 1 for deterministic products of matrices, Ergod. Th. & Dynam. Sys, vol.24, pp.1295-1330, 2004.

]. R. Bo1 and . Bowen, Symbolic dynamics for hyperbolic flows, Amer. J. of Math, vol.95, pp.429-459, 1973.

]. R. Bo2 and . Bowen, Equilibrium States and the Ergodic Theory of Anosov Diffeomorphisms, Lecture Notes in Math, vol.470, 1975.

]. R. Bo3 and . Bowen, Hausdorff dimension of quasi-circles, Inst. Hautes Études Sci. Publ. Math, vol.50, pp.259-273, 1979.

. R. Bm, B. Bowen, and . Marcus, Unique ergodicity for horocycle foliations, Israël J. of Math, vol.26, pp.43-67, 1977.

B. Bowen and D. Ruelle, The ergodic theory of AxiomA flows, Inventiones Mathematicae, vol.73, issue.3, pp.181-202, 1975.
DOI : 10.1007/BF01389848

. M. Bh, A. Bridson, and . Haefliger, Metric spaces of non-positive curvature, Grundlehren Math. Wiss, vol.319, 1999.

A. [. Camacho, Lins Neto : Geometric Theory of Foliations, 1985.

]. A. Ca and . Candel, Uniformization of surface laminations, Ann. Scient. Éc. Norm. Sup, vol.26, pp.483-516, 1993.

]. I. Ch and . Chavel, Eigenvalues in Riemannian Geometry, 1984.

. J. Ce, D. Cheeger, and . Ebin, Comparison Theorems in Riemannian Geometry, 2008.

[. Y. Cheng and S. T. Yau, Differential equations on riemannian manifolds and their geometric applications, Communications on Pure and Applied Mathematics, vol.1, issue.3, pp.333-354, 1975.
DOI : 10.1002/cpa.3160280303

. C. Cm, M. Connell, and . Martínez, Harmonic and invariant measures on foliated spaces, pre- print

. A. Dgm, B. Debiard, E. Gaveau, and . Mazet, Théorèmes de comparaison en géométrie Riemannienne, Publ. RIMS, Kyoto Univ, vol.12, pp.391-425, 1976.

V. [. Deroin and . Kleptsyn, Random Conformal Dynamical Systems, Geometric and Functional Analysis, vol.17, issue.4, pp.1043-1105, 2007.
DOI : 10.1007/s00039-007-0606-y
URL : https://hal.archives-ouvertes.fr/hal-00463764

]. H. Fu1 and . Furstenberg, Noncommuting random products, Trans. Amer. Math. Soc, vol.108, pp.377-428, 1963.

]. H. Fu2 and . Furstenberg, Random walks and discrete subgroups of Lie groups, Adv. Probab. Related Topics, pp.1-63, 1971.

]. L. Gar and . Garnett, Foliations, the ergodic theorem and Brownian motion, J. Funct. Anal, vol.51, pp.285-311, 1983.

]. E. Gh and . Ghys, Topologie des feuilles génériques, Ann. of Math, vol.141, pp.387-422, 1995.

R. [. Ghys, P. Langevin, and . Walczak, Entropie geometrique des feuilletages, Acta Mathematica, vol.160, issue.0, pp.105-142, 1988.
DOI : 10.1007/BF02392274

]. S. Gpl, J. Goodman, and . Plante, Holonomy and averaging in foliated sets, J. Diff. Geo, vol.14, pp.401-407, 1979.

]. M. Gro and . Gromov, Three remarks on geodesic dynamics and fundamental group, L'Enseign, Math, vol.46, pp.391-402, 2000.

A. [. Guivarc-'h and . Raugi, Frontière de Furstenberg, propriété de contraction et théorèmes de convergence, Z. Wahrsch. Verw. Gebiete, pp.69-187, 1985.

]. U. Ha1 and . Hämenstadt, An explicite description of harmonic measure, Ha2] U.Hämenstadt, Cocycles, Hausdorff measures and cross ratios, pp.287-299, 1990.

B. Heintze and H. Hof, Geometry of horospheres, Journal of Differential Geometry, vol.12, issue.4, pp.481-491, 1977.
DOI : 10.4310/jdg/1214434219

. M. Hps, C. Hirsch, M. Pugh, and . Shub, Invariant manifolds, Lecture Notes in Math, vol.583, 1977.

. [. Kaimanovich, Invariant measures of the geodesic flow and measures at infinity on negatively curved manifolds, Ann. I. H. Poincaré. Phys. Théor, vol.53, pp.361-393, 1990.

. [. Kaimanovich, Discretization of bounded harmonic functions on Riemannian manifolds and entropy, Potential theory, de Gruyter, pp.213-223, 1990.

M. [. Kaimanovich and . Lyubich, Conformal and harmonic measures on laminations associated with rational maps, Mem. Amer, Math. Soc, p.173, 2005.

]. A. Ka1 and . Katok, Entropy and closed geodesics, Ergod. Th. & Dynam. Sys, vol.2, pp.339-365, 1982.

]. A. Ka2 and . Katok, Four applications of conformal equivalence to geometry and dynamics, Ergod . Th. & Dynam. Sys, vol.8, pp.115-140, 1988.

]. G. Kn and . Knieper, Spherical means on compact manifolds of negative curvature, J. Diff. Geom. Appl, vol.4, pp.361-390, 1994.

. R. Lw, P. Langevin, and . Walczak, Entropy, transverse entropy and partitions of unity, Ergod. Th. & Dynam. Sys, pp.14-551, 1994.

. [. Ledrappier, Ergodic properties of Brownian motion on covers of compact negatively-curve manifolds, Boletim da Sociedade Brasileira de Matem??tica, vol.18, issue.4, pp.115-140, 1988.
DOI : 10.1007/BF02584822

. [. Ledrappier, Harmonic measures and bowen-margulis measures, Israel Journal of Mathematics, vol.18, issue.3, pp.275-287, 1990.
DOI : 10.1007/BF02773746

. [. Ledrappier, A renewal theorem for the distance in negative curvature, Proc. Symp. Pure Math, pp.351-360, 1995.
DOI : 10.1090/pspum/057/1335481

. T. Ls, D. Lyons, and . Sullivan, Function theory, random paths and covering spaces, J. Diff. Geom, vol.19, pp.299-323, 1984.

]. R. Man and . Mañé, Ergodic theory and differentiable dynamicsMargulis, Certain measures associated with U-flows on compact manifolds, Func. Anal. Appl, vol.4, pp.55-67, 1970.

]. M. Ma and . Martínez, Measures on hyperbolic surface laminations, Ergod. Th. & Dynam. Sys, vol.26, pp.847-867, 2006.

]. S. Mat and . Matsumoto, The dichotomy of harmonic measures of compact hyperbolic laminations, Tohoku Math. J, vol.64, pp.569-592, 2012.

]. P. Matt and . Mattila, Geometry of sets and measure in Euclidian spaces, Fractals and rectifiability, 1995.

. C. Ms, C. Moore, and . Schochet, Global analysis on foliated spaces, Math. Sci. Res. Inst. Publ, vol.9, 2006.

]. S. Pa and . Patterson, The limit set of a Fuchsian group, Acta Math, vol.136, pp.241-273, 1976.

. Ps-]-ya, Y. Pesin, and . Sinai, Gibbs measures for partially hyperbolic attractors, Ergod. Th. & Dynam . Sys, issue.2, pp.417-438, 1982.

]. J. Pl1 and . Plante, Anosov flows, Amer. J. of Math, vol.94, pp.729-754, 1971.

]. J. Pl2 and . Plante, Foliations with measure preserving holonomy, Ann. of Math, vol.102, pp.327-361, 1975.

]. J. Pr and . Prat, Étude asymptotique du mouvement brownien sur une variété riemannienne à courbure négative, C. R. Acad. Sci. Paris, Sér. A-B, vol.272, pp.1586-1589, 1971.

]. M. Ra and . Ratner, Markov partitions for Anosov flows on n-dimensional manifolds, Israël J. of Math, vol.15, pp.92-114, 1973.

. [. Roblin, Un Th??or??me de Fatou Pour les Densit??s Conformes Avec Applications Aux Rev??tements Galoisiens en Courbure N??gative, Israel Journal of Mathematics, vol.25, issue.2, pp.333-357, 2005.
DOI : 10.1007/BF02785371

]. V. Ro and . Rokhlin, On the fundamental ideas of measure theory, Amer, Math. Soc. Transl, vol.10, pp.1-52, 1962.

]. W. Ru and . Rudin, Real and complex analysis, 1987.

]. B. Sc and . Schapira, Mesures quasi-invariantes pour un feuilletage et limites de moyennes longitudinales, C. R. Acad. Sci. Paris, Ser I, vol.336, pp.349-352, 2003.

]. M. Sh and . Shub, Stabilité globale des systèmes dynamiques, Astérisque, 1978.

]. Si, . Ya, and . Sinai, Gibbs measures in ergodic theory, Russ. Math. Surveys, vol.27, pp.21-69, 1972.

]. D. Su1 and . Sullivan, The density at infinity of a discrete group of hyperbolic motions, Inst. Hautes Études Sci. Publ. Math, vol.50, pp.172-202, 1979.

]. D. Su2 and . Sullivan, The Dirichlet problem at infinity for a negatively curved manifold, J. Diff. Geo, vol.18, pp.723-732, 1983.

. [. Thurstonwa-]-p and . Walczak, Geometry and topology of 3-manifolds, Princeton Lecture Notes, 1980, currently available at library.msri.org/books/gt3m Dynamics of the geodesic flow of a foliation, Ergod. Th. & Dynam. Sys, vol.8, pp.637-650, 1988.

. [. Wolpert, Thurston's Riemannian metric for Teichm??ller space, Journal of Differential Geometry, vol.23, issue.2, pp.143-174, 1986.
DOI : 10.4310/jdg/1214440024