Mobilisation du 17 octobre : la mairie de Marseille investie, des CRS et des blindés envoyés en renfort