la version la plus puissante du modèle de raisonnement o4 mini