pålliga gendarmer dödat tre borgare.