« Changement de plans » : o3 et o4-mini de retour, et GPT-5 s'annonce monstrueux selon le patron d'OpenAI