Nuevo Redmi 12C: el primer móvil Xiaomi de 2023 cuesta menos de 100 euros