a high vacuum pump (e.g. diffusion pump or turbomolecular pump) with vacuum gauge,
une pompe à vide poussé (par exemple, une pompe à diffusion ou une pompe turbomoléculaire) accompagnée d'une jauge à vide,