Pompe à vide à tête unique, haute fréquence, à petites bulles d'oxygène, adaptée à la gravure fine