Le restaurant d'entreprises "l’Arsenal" sera exceptionnellement fermé ce mardi 9 octobre en raison de la grève d'une partie du personnel.