OpenAI lance o3-mini, un modèle léger pour rivaliser avec DeepSeek