Xiaomi Redmi Note 9: Precio (desde 103.00€) y características [Julio 2025]