Så slutade den nionde Thermidor.