Palacio Real de la Granja de San Ildefonso (Ed. Patrimonio Nacional, 1985)