Le futur smartphone premium compact de Xiaomi pourrait changer de format