Escalinata del estanque, SAN LORENZO DE EL ESCORIAL