. ?-\-{1}-then-;-v-?-z-*-and-c-?-c-*, Since the algebraic path a lies in a [?, ?]-segment (with ? ? {l, p} and ? ? {e, p}) to the previous case, the head and tail elements z * , y * of the Cohen field E * associated to a * satisfy the relation y * z * = 1

R. K. Amayo and I. Stewart, Infinite-dimensional Lie algebras, 1974.

J. Ax, On Schanuel's conjectures, Ann. of Math, vol.93, issue.2, pp.252-268, 1971.

F. Baader and T. Nipkow, Term rewriting and all that, 1998.

R. Brown, . Topology, . Booksurge, . Llc, . Charleston et al., Third edition of Elements of modern topology, 1968.

S. D. Cohen, The group of translations and positive rational powers is free, Quart. J. Math. Oxford Ser, vol.46, issue.2, pp.21-93, 1995.

. Jeanécalle, Introduction aux fonctions analysables et preuve constructive de la conjecture de Dulac. Actualités Mathématiques

P. Hermann, , 1992.

J. Jeanécalle, R. Martinet, J. Moussu, and . Ramis, Non-accumulation des cycles-limites. I. C. R. Acad. Sci. Paris Sér. I Math, vol.304, issue.13, pp.375-377, 1987.

J. Jeanécalle, R. Martinet, J. Moussu, and . Ramis, Non-accumulation des cycles-limites. II. C. R. Acad. Sci. Paris Sér. I Math, vol.304, issue.14, pp.431-434, 1987.

G. A. Edgar, Transseries: Composition, recursion, and convergence, 2009.

B. A. David, J. W. Epstein, D. F. Cannon, S. V. Holt, M. S. Levy et al., Word processing in groups, 1992.

J. Gilman, The structure of two-parabolic space: parabolic dust and iteration, Geom. Dedicata, vol.131, pp.27-48, 2008.

A. M. Glass, The ubiquity of free groups, Math. Intelligencer, vol.14, issue.3, pp.54-57, 1992.

Y. S. Ilyashenko, Finiteness theorems for limit cycles, Translations of Mathematical Monographs. American Mathematical Society, vol.94, 1991.

S. Lang, SL 2 (R), volume 105 of Graduate Texts in Mathematics, 1985.

R. C. Lyndon and J. L. Ullman, Groups generated by two parabolic linear fractional transformations, Canad. J. Math, vol.21, pp.1388-1403, 1969.

C. Roger, P. E. Lyndon, and . Schupp, Combinatorial group theory. Classics in Mathematics, 2001.

A. Macintyre, Schanuel's conjecture and free exponential rings, Ann. Pure Appl. Logic, vol.51, issue.3, pp.241-246, 1991.

J. Milnor, Dynamics in one complex variable, Annals of Mathematics Studies, vol.160, 2006.

J. Milnor, On Lattès maps, Dynamics on the Riemann sphere, pp.9-43, 2006.

I. Moerdijk and J. Mr?un, Introduction to foliations and Lie groupoids, Cambridge Studies in Advanced Mathematics, vol.91, 2003.

R. Ree, On certain pairs of matrices which do not generate a free group, Canad. Math. Bull, vol.4, pp.49-52, 1961.

D. Richardson, How to recognize zero, J. Symbolic Comput, vol.24, issue.6, pp.627-645, 1997.

J. F. Ritt, Prime and composite polynomials, Trans. Amer. Math. Soc, vol.23, issue.1, pp.51-66, 1922.

J. Serre, Trees. Springer Monographs in Mathematics, 2003.

J. R. Shackell, Symbolic asymptotics, Algorithms and Computation in Mathematics, vol.12, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00073425

A. Lou-van-den-dries, D. Macintyre, and . Marker, Logarithmic-exponential series, Ann. Pure Appl. Logic, vol.111, issue.1-2, pp.61-113, 2001.

M. Van-der-put and M. F. Singer, Galois theory of linear differential equations, of Grundlehren der Mathematischen Wissenschaften, vol.328, 2003.

S. White, The group generated by x ? x + 1 and x ? x p is free, J. Algebra, vol.118, issue.2, pp.408-422, 1988.

A. Wilkie, Lecture notes on Marker's lecture notes on Ax's theorem. University of Oxford Logic Advanced Class, 2003.