Petite-Rosselle : le nouveau restaurant du musée de la mine ouvre ses portes