Названа европейская цена смартфона Xiaomi Redmi Note 5 Pro