Pompe à videUne pompe à vide est un type de pompe permettant de faire le vide, c'est-à-dire d'extraire l'air ou tout autre gaz contenu dans une enceinte close, afin d'en diminuer la pression. Les gaz à évacuer sont d'une part ceux présents au début de la mise sous vide (généralement à la pression atmosphérique) et d'autre part ceux émanant de phénomènes tels que le dégazage naturel des parois sous vide (voire de zones qui sont chauffées), de l'évaporation d'un liquide soumis à une pression plus faible, des fuites éventuelles (réelles ou virtuelles), de la perméabilité des joints ou des parois, voire d'introduction volontaire de gaz (procédés de fabrication ou de traitement, dans le domaine des semi-conducteurs par exemple), de l'évaporation de graisse.
