Découverte d'une super-Terre à la densité record avec un océan de magma global