Bosque de la Herrería. San Lorenzo de El Escorial