EXTERMINATEUR, TRICE. n. Celui, celle qui extermine. Hercule fut l'exterminateur des monstres et des brigands. Ce prince fut l'exterminateur des factions, des vices. Adjectivement, L'ange exterminateur. Le glaive exterminateur.
Tout ou partie de cette définition est extrait du Dictionnaire de l'Académie française, huitième édition, 1932-1935