Jardines del Real Monasterio, SAN LORENZO DE EL ESCORIAL