https://www.pandore-gendarmerie.org/100-000-gendarmes-et-policiers-deployes/
100 000 gendarmes et policiers déployés.