Mistral’s new reasoning model is a European first