Robert W. Marvel Theatre (Rockefeller Arts Center) (Nom de la salle de spectacle ou du théâtre)