karabinier och gendarmer hade mördats.