Jardines del Rey, fuente de los dragones, SAN ILDEFONSO O LA GRANJA