les bouchers mettent fin à leur grève