San Ildefonso, La Granja, or La Granja de San Ildefonso, is a town and municipality in the Province of Segovia, in the Castile and León autonomous region of central Spain.
It is located in the foothills of the Sierra de Guadarrama mountains, 11 kilometres from Segovia, and 80 kilometres north of Madrid.
Wikipedia https://en.wikipedia.org/wiki/Real_Sitio_de_San_Ildefonso
Official Website https://www.lagranja-valsain.com/
Coordinates 40°53'53.256" N -4°0'19.445" E