dödades en gendarm och en civil.