hade icke mindre än 13,000 mairer kommit till Paris.