ChatGPT: OpenAI lance GPT-4o mini, qui remplace GPT-3.5