[PUMP]. Late 19th century vacuum pump. Cast iron and brass instrument, H: 26 cm. Accompanied by a glass tube. In its wooden storage box. Provenance: José Henry collection.