Hasta entonces, se le conocía vulgarmente como «escalerillas del Pilar».