One of the intestinal enzymes that are generally deficient in children following an attack of severe infectious enteritis is –