Représentations galoisiennes et groupe de Mumford-Tate associé à une variété abélienne

Soient K un corps de nombres et A une variété abélienne sur K dont nous notons g la dimension. Pour tout premier ℓ, le module de Tate ℓ-adique de A nous fournit une représentation ℓ-adique du groupe de Galois absolu de K, et c'est à l'image de ces représentations galoisiennes que l'on s'intéresse dans cette thèse.Pour de nombreuses classes de variétés abéliennes on possède une description de ces images à une erreur finie près : le premier but de ce travail est de quantifier explicitement cette erreur dans plusieurs cas différents. On parvient à résoudre complètement le problème pour une courbe elliptique sans multiplication complexe, ou plus généralement pour un produit de telles courbes elliptiques, et pour toute variété abélienne géométriquement simple admettant multiplication complexe. Pour d'autres classes de variétés abéliennes A/K on obtient seulement une description de l'image de Galois pour tout premier ℓ plus grand qu'une certaine borne (que l'on calcule explicitement, et qui est polynomiale en le degré de K et en la hauteur de Faltings de A) : nous prouvons de tels résultats pour toute surface abélienne semistable et géométriquement simple et pour les variétés dites "de type GL₂''. On montre également un résultat semblable, mais un peu affaibli, pour de nombreuses variétés abéliennes de dimension impaire dont l'anneau des endomorphismes est réduit à ℤ. On s'intéresse ensuite à l'action de Galois sur des variétés abéliennes non simples, et on donne des conditions suffisantes pour que les représentations galoisiennes qui leur sont associées se décomposent elles-mêmes en produit. Finalement on étudie l'intersection entre les extensions cyclotomiques d'un corps de nombres K et les corps engendrés par les points de torsion d'une variété abélienne sur K, et on établit des propriétés d'uniformité des degrés de ces intersections.Let K be a number field and A be a g-dimensional abelian variety over K. For every prime ℓ, the ℓ-adic Tate module of A gives rise to an ℓ-adic representation of the absolute Galois group of K; in this thesis we set out to study the images of the Galois representations arising in this way. For various classes of abelian varieties a description of these images is known up to finite error, and the first aim of this work is to explicitly quantify this error for a number of different cases. We provide a complete solution for the case of elliptic curves without complex multiplication (and more generally for products thereof) and for geometrically simple abelian varieties of CM type. For other classes of abelian varieties we can only describe the Galois image when the prime ℓ is above a certain bound (which we compute explicitly in terms of A, and which is polynomial in [K:Q] and in the Faltings height of A): we obtain such results for geometrically simple, semistable abelian surfaces and for "GL₂-type" varieties. We also prove similar (but slightly weaker) results for many abelian varieties of odd dimension with trivial endomorphism algebra. We then consider the Galois action on non-simple abelian varieties, and we give sufficient conditions for the associated Galois representations to decompose as a product. Finally, we investigate the structure of the intersection between the cyclotomic extensions of a number field K and the fields generated by the torsion points of an abelian variety over K, proving a uniformity property for the degrees of such intersections