Panteón de Felipe V, SAN ILDEFONSO O LA GRANJA