Rixe dans le Haut-Jaurès à Brest : un mineur grièvement blessé avec un pic de boucher