Le Xiaomi 12T Pro est-il le meilleur smartphone haut de gamme à moins de 800 euros ?