¿Llueven diamantes en miles de planetas?