Rutas por Valsain, La Granja de San Ildefonso