Fin de la grève des métallurgistes et 1,7 millions de travailleurs des chantiers navals