Centro San Luis, biblioteca y centro de jubilados, SAN ILDEFONSO O LA GRANJA