De l'eau se cache-t-elle dans le manteau terrestre ? Un rarissime diamant nous en apprend plus sur les profondeurs de la Terre