Le but de ce travail est de montrer comment la theorie des systemes d'Euler permet de comparer, dans certaines extensions abeliennes, le module galoisien des unites globales modulo unites de Stark avec le module galoisien des p-classes d'ideaux. On ne s'interesse ici qu'aux extensions abeliennes ayant pour corps de base k un corps quadratique imaginaire, ou un corps global de caracteristique non nulle. Nous nous focalisons sur deux conjectures: la conjecture de Gras ou nous etendons les resultats obtenus entre autres par K. Rubin dans le cas quadratique imaginaire, et par F. Xu et J. Zhao dans le cas ou la caracteristique de k est non nulle; la conjecture principale en theorie d'Iwasawa, ou nous etendons les resultats obtenus entre autres par K. Rubin et W. Bley."