armeen räknar visserligen , gendarmeriet inbegripet , blott något mer än 20,000 man ; den användes snarare som polis- än krigstrupp , men dess deltagande i revolutionen får därigenom blott eå mycket större betydelse.