Pompe à vide fin XIXe siècle.