blef någon gendarm skadad , men 3 arbetare dödades och 8 sårades.