dödades 7 gendarmer och 25 af de lynchande.