Xiaomi procède à un rachat d'actions de 4,7 milliards de HKD