Xiaomi Redmi 3: Prix, date de sortie et fiche technique