Marché public d'Arvida (Parc de la Cité) (Nom de la salle de spectacle ou du théâtre)