Otoño en el Bosque de la Herrería y Casita del Príncipe (El Escorial).