fuente de los baños de diana, SAN ILDEFONSO O LA GRANJA