Cette thèse est une contribution à la théorie des modèles des corps valués. Les principaux résultats de ce texte sont des résultats d’éliminations des quantificateurs et des imaginaires. Le premier chapitre contient une étude des imaginaires dans les extensions finies de Qp. On y démontre que ces corps ainsi que leurs ultraproduits éliminent les imaginaires dans le langage géométrique. On en déduit un résultat de rationalité uniforme pour les fonctions zêta associées aux familles de relations d’équivalences définissables dans les extensions finies de Qp. La motivation première du deuxième chapitre est l’étude de W(F_p^alg) en tant que corps valué analytique de différence. Plus généralement, on démontre un théorème d’élimination des quantificateurs de corps dans le langage RV pour les corps valués analytiques -Henséliens de caractéristique nulle. On donne aussi une axiomatisation de la théorie de W(F_p^alg) ainsi qu’une preuve qu’elle est NIP. Dans le troisième chapitre, on prouve la densité des types définissables dans certains enrichissements d’ACVF. On en déduit un critère pour l’élimination des imaginaires et la propriété d’extension invariante. Ce chapitre contient aussi des résultats abstraits sur les ensembles extérieurement définissables dans les théories NIP. Dans le dernier chapitre, les résultats du chapitre précédent sont appliqués à VDF, la modèle complétion des corps valués munis d’une dérivation qui préserve la valuation, pour obtenir l’élimination des imaginaires dans le langage géométrique ainsi que la densité des types définissables et la propriété d’extension invariante. Ce chapitre contient aussi des considérations sur les fonctions définissables, les types et les groupes définissables dans VDF. / This thesis is about the model theory of valued fields. The main results in this text are eliminationsof quantifiers and imaginaries. The first chapter is concerned with imaginaries in finite extensions of Qp. I show that these fields and their ultraproducts eliminate imaginaries in the geometric language. As a corollary, I obtain the uniform rationality of zeta functions associated to families of equivalence relations that aredefinable in finite extensions of Qp.The motivation for the second chapter is to study W(F_p^alg) as an analytic difference valued field. More generally, I show a field quantifier elimination theorem in the RV-language for -Henselian characteristic zero valued fields with an analytic structure. I also axiomatise the theory of W(F_p^alg) and I show that this theory is NIP.In the third chapter, I prove the density of definable types in certain enrichments of ACVF. From this result, I deduce a criterion for the elimination of imaginaries and the invariant property. This chapter also contains abstract results on externally definable sets in NIP theories. In the last chapter, the previous chapter is applied to VDF, the model completion of valued fields with a valuation preserving derivation, to obtain the elimination of imaginaries in the geometric language, as well as the density of definable types and the invariant extension property. This chapter also contains considerations about definable functions, types and definable groupes in VDF.

La rationalité des séries de Poincaré associées avec famille définissable des relations équivalences dans quelques théories sur corps valués a été recherchée par Denef. Ce problème a une relation avec l'existence d'élimination des imaginaires des théories sur corps valués (voir le résultat de Hrushovski, Martin and Rideau). La théorie d'intégration motivique est née nous aide pour montrer la dépendance uniforme dans corps locaux p-adiques de la rationalité des séries de Poincaré. Dans le chapitre 1 de cette thèse, je donne une extension du résultat sur la rationalité uniforme dans p des séries de Poincaré associées avec famille définissable des relations équivalences dans quelques théories sur corps valués dans lesquels élimination des imaginaires n'est pas prouvée comme théories sur structures analytiques. Ma méthode est que j'étends la théorie d'intégration motivique pour fonctions constructibles dans deux papiers de Cluckers et Loeser aux fonctions constructibles rationnelles. Autre problème important dans la théorie des nombres est estimation des sommes exponentielles. Sommes exponentielles modulo pm pour un nombre premier p et un nombre naturel m a été étudié par Igusa. Igusa a découvert une relation profonde entre estimation des sommes exponentielles avec pôles de la fonction zêta local d'Igusa et montré que si on a une estimation uniforme dans p et m de sommes exponentielles, on peut obtenir une formule sommatoire de Poisson pour Adèle de type de Siegel-Weil. Dans les chapitres 2, 3, 4, on va prouver quelques versions uniformes dans p et m de borne supérieure de sommes exponentielles donnés par le seuil log canonique ou par polyèdre de Newton. / The results in the rationality of Poincaré series associated with definable family of equivalence relations over valued fields was researched by Denef. This problem has relation with the existence of elimination of imaginaries theorem for theories of valued fields (see the result of Hrushovski, Martin and Rideau). Motivic integration theory was born helps us to show the uniform dependence of the rationality of Poincaré series on p-adic local fields. In the chapter 1 of this thesis, I extend the result on p-uniform rationality of Poincaré series associated with definable family of equivalence relations in some theories of valued field in which elimination of imaginaries has not been proved yet, for example theories on analytic structures. My method is that I extend the motivic integration theory for constructible motivic functions in two papers of Cluckers and Loeser to rational constructible motivic functions. Another classical problem of number theory is estimation of exponential sums. Exponential sums modulo pm was studied by Igusa, and for a fixed prime p, he gave a deep relation between estimation of exponential sums modulo pm and poles of Igusa local zeta function. Igusa also showed that a uniform estimation in p and m of exponential sums modulo pm could give an Poisson summation formula of Siegel-Weil type. By this motivation, many researches tried to give the best uniform upper bound of exponential sums modulo pm. In the chapters 2, 3, 4, we will try to obtain some uniform versions for upper bound of exponential sums modulo pm given by log-canonical threshold or Newton polyhedron due to Igusa's, Denef-Sperber's and Cluckers-Veys's conjectures.