dödades 7 gendarmer och 25 af do lynchande.