«Mariano -preguntó a gritos al campanero-, ¿está abierta la Puerta de Leones?»