Fachada principal del Palacio Real de San Ildefonso, SAN ILDEFONSO O LA GRANJA