Escalinata Estanque, SAN LORENZO DE EL ESCORIAL