xAI d’Elon Musk obtient un contrat gouvernemental américain pour le chatbot Grok