palacio real de la granja de san ildefonso, SAN ILDEFONSO O LA GRANJA