OpenAI lance Codex Micro, un outil de codage collaboratif