(nom fem) pompe permettant de faire le vide, c’est-à-dire d’extraire de l’air afin d’en diminuer la pression.