On Gras conjecture for imaginary quadratic fields
  In this paper we extend methods of Rubin to prove the Gras conjecture for abelian extensions of a given imaginary quadratic field k and prime numbers p which divide the number of roots of unity in k. 
Hassan Oukhaba and St\'ephane Vigui\'e
math.NT