El Chorro, SAN ILDEFONSO O LA GRANJA