sammanstötning inträffat mellan strejkande grufarbetare och gendarmer.