Mistral frappe fort : nouveau modèle, alliance avec NVIDIA et agent de preuve formelle