Serían las tres y media cuando pasaron por la Puerta del Sol.