Elon Musk dévoile Grok 4, un nouveau LLM conçu pour rivaliser avec GPT-5 d'OpenAI