Cette thèse s'articule autour de la Conjecture de Greenberg en théorie d'Iwasawa, qui prédit que les nombres de classes des corps de nombres appartenants à une Z_p extension d'un corps totalement réel sont bornés. On discute des critères de validité de la Conjecture et une application de la Conjecture à l'arithmétique des Unités Cyclotomiques.

Le but de ce travail est de montrer comment la théorie des systèmes d'Euler permet de comparer, dans certaines extensions abéliennes, le module galoisien des unités globales modulo unités de Stark avec le module galoisien des p-classes d'idéaux. On ne s'intéresse ici qu'aux extensions abéliennes ayant pour corps de base k un corps quadratique imaginaire, ou un corps global de caractéristique non nulle. La conjecture de Gras prévoit que pour toute extension abélienne finie K/k, tout nombre premier p premier à [K : k], et tout Qp-caractère ψ irréductible et non trivial de Gal (K/k), les ψ-parties du groupe des p-classes de K et du groupe des unités de K modulo le groupe des unités de Stark ont le même cardinal. Après avoir démontré une version faible de la conjecture, nous reprenons la méthode des systèmes d'Euler afin d'étendre les résultats obtenus entre autres par Rubin, Xu et Zhao. Ensuite nous nous plaçons dans le cas où k est un corps quadratique imaginaire uniquement, et nous considérons une certaine Zp-extension k∞ de k, où p est un nombre premier différent de 2 et 3, décomposé dans k. Nous démontrons que pour toute extension finie K∞ de k∞ abélienne sur k, et tout Cp-caractère irréductible χ du sous-groupe de torsion de Gal(K∞/k), les idéaux caractéristiques des χ-quotients du module des p-classes et du module des unités modulo unités de Stark sont les mêmes. Il s'agit d'une des versions de la conjecture principale de la théorie d'Iwasawa, qui élargit un résultat de Rubin et Bley. C'est aussi une étape pour un travail ultérieur, où nous étendons un résultat de Rubin concernant la conjecture principale à deux variables

Le but de ce travail est de montrer comment la théorie des systèmes d’Euler permet de comparer, dans certaines extensions abéliennes, le module galoisien des unités globales modulo unités de Stark avec le module galoisien des p-classes d’idéaux. On ne s’intéresse ici qu’aux extensions abéliennes ayant pour corps de base k un corps quadratique imaginaire, ou un corps global de caractéristique non nulle. La conjecture de Gras prévoit que pour toute extension abélienne finie K/k, tout nombre premier p premier à [K : k], et tout Qp-caractère ψ irréductible et non trivial de Gal (K/k), les ψ-parties du groupe des p-classes de K et du groupe des unités de K modulo le groupe des unités de Stark ont le même cardinal. Après avoir démontré une version faible de la conjecture, nous reprenons la méthode des systèmes d’Euler afin d’étendre les résultats obtenus entre autres par Rubin, Xu et Zhao. Ensuite nous nous plaçons dans le cas où k est un corps quadratique imaginaire uniquement, et nous considérons une certaine Zp-extension k∞ de k, où p est un nombre premier différent de 2 et 3, décomposé dans k. Nous démontrons que pour toute extension finie K∞ de k∞ abélienne sur k, et tout Cp-caractère irréductible χ du sous-groupe de torsion de Gal(K∞/k), les idéaux caractéristiques des χ-quotients du module des p-classes et du module des unités modulo unités de Stark sont les mêmes. Il s'agit d'une des versions de la conjecture principale de la théorie d’Iwasawa, qui élargit un résultat de Rubin et Bley. C'est aussi une étape pour un travail ultérieur, où nous étendons un résultat de Rubin concernant la conjecture principale à deux variables / The goal of this work is to show how Euler systems allows us to compare, for some abelian extensions, the Galois module of global units modulo Stark units with the Galois module of ideal p-classes. We restricts ourselves to abelian extensions over a base field k which can be an imaginary quadratic field or a global field of positive characteristic. The Gras conjecture predicts that for all finite abelian extension K/k, all prime number p not dividing [K : k], and all irreducible and nontrivial Qp-character ψ of Gal (K/k), the ψ-part of the p-class group of K and the ψ-part of the group of global units modulo Stark units have the same cardinal. First we prove a weak form of the conjecture, and then we use Euler systems to extend the results obtained among others by Rubin, Xu et Zhao. Then we assume that k is an imaginary quadratic field, and we consider a special Zp-extension k∞ of k, where p is a prime number different from 2 and 3, decomposed in k. We prove that for all finite extension K∞ of k∞ abelian over k, and for all irreducible Cp-character χ of the torsion subgroup of Gal(K∞/k), the characteristic ideal of the χ-quotients of the module of p-classes and the characteristic ideal of the module of global units modulo Stark units are the same. It is one of the versions of the main conjecture in Iwasawa theory, which extends a result of Rubin and Bley. It is also a step for a further work, where we extend a result of Rubin on the two variables main conjecture

Dans cette thèse, on étudie deux types d'équations diophantiennes. Une première partie de notre étude porte sur la résolution des équations dites de Ramanujan-Nagell $Cx^2+b^{2m}D=y^n$. Une deuxième partie porte sur les équations dites de Ngell-Ljunggren\\ $\frac{x^p+y^p}{x+y}=p^ez^q$ incluant le cas diagonal $p=q$. Les nouveaux résultats obtenus seront appliqués aux équations de la forme $x^p+y^p=Bz^q$. L'équation de Catalan-Fermat (cas $B=1$) fera l'objet d'un traitement à part.

Dans cette thèse, on étudie deux types d’équations diophantiennes. Une première partie de notre étude porte sur la résolution des équations dites de Ramanujan-Nagell Cx2+ b2mD = yn. Une deuxième partie porte sur les équations dites de Ngell-Ljunggren xp+ypx+y = pezq incluant le cas diagonal p = q. Les nouveaux réesultats obtenus seront appliqués aux équations de la forme xp + yp = Bzq. L’équation de Catalan-Fermat (cas B = 1) fera l’objet d’un traitement à part. / In this thesis, we study two types of diophantine equations. A ?rst part of our study is about the resolution of the Ramanujan-Nagell equations Cx2 + b2mD = yn. A second part of our study is about the Nagell-Ljungren equations xp+yp x+y = pezq including the diagonal case p = q. Our new results will be applied to the diophantine equations of the form xp + yp = Bzq. The Fermat-Catalan equation (case B = 1) will be the subject of a special study.