Nombre que se da en Madrid a un teatro de comedias.