Les Xiaomi 12 Pro et 12T Pro sont tous les deux à 799 euros : lequel faut-il prendre ?