Todos lo habíamos escuchado ya pero no era nada oficial, sólo los recovecos históricos del Real Sitio. Pero el Boletín Oficial de Castilla y León ha publicado ya el acuerdo de la Junta de Castilla y León por el que se aprueba el cambio de denominación del municipio de San Ildefonso, consistente en sustituir el nombre por la que fue históricamente su denominación: Real Sitio de San Ildefonso.
Una vez aprobado y publicado por la Junta de Castilla y León, el cambio de nombre se comunicará a la Administración del Estado para que lo anote en el Registro de Entidades Locales y, a su vez, lo publique en el Boletín Oficial de Estado.
La petición para el cambio de denominación de San Ildefonso se aprobó por acuerdo plenario del Ayuntamiento el 26 de febrero de 2009, con el principal fundamento de que el topónimo de Real Sitio de San Ildefonso fue el escogido en el momento de la constitución del ayuntamiento, en 1811. En su tramitación, la Consejería de Interior y Justicia ha valorado informes de la Diputación Provincial de Segovia, de la Real Academia de la Historia, de la Casa Real y distintos departamentos de la Universidad de Valladolid.
El Consejo de Gobierno aprobó el cambio en su reunión del pasado 2 de diciembre, al considerar que existen razones históricas que aconsejan la recuperación del nombre de municipio de Real Sitio de San Ildefonso y que la denominación propuesta no coincide ni produce confusión con otras denominaciones existentes.
El informe de la Real Academia de la Historia indica que el actual municipio, al menos en lo que se refiere a lo que hoy se denomina La Granja de San Ildefonso, tiene su origen en la compra que hizo Felipe V en 1720 de una granja monástica y una ermita cedida por los Reyes Católicos en 1477 a los monjes jerónimos del Monasterio de Santa María del Parral de Segovia.
Señala el informe que desde época muy temprana se denominó «Real Sitio de San Ildefonso» a la nueva propiedad de la Corona, según aparece en diversas obras y documentos. En 1821, el ayuntamiento del Real Sitio de San Ildefonso se constituyó con esta denominación. Así aparece en el padrón de vecinos de 1821, en los bandos sobre elecciones municipales de 1822, en las Ordenanzas Municipales de 1877 y en las actas municipales del periodo. También en el membrete del papel de oficio del concejo, donde desde la segunda mitad del siglo XIX y hasta 1931 aparece el nombre así escrito, al igual que en los sellos municipales de diversos documentos.
Indica también el informe de la Real Academia de la Historia, que es con posterioridad a la proclamación de la II República cuando se pierde la denominación de Real Sitio de San Ildefonso, llegándose a adoptar San Ildefonso-La Granja como topónimo oficial del municipio, en cuyo ayuntamiento quedarán encuadrados los núcleos de población de Valsaín y Riofrío.
La modificación aprobada y publicada hoy afecta exclusivamente al nombre administrativo oficial del Ayuntamiento y no a los de sus núcleos de población, que son San Ildefonso o La Granja, Valsaín, la Pradera de Navalhorno y Riofrío, por lo que no altera las direcciones postales.