Antiguo frontón de San Sebastián.