Dictionnaire de Trévoux/6e édition, 1771/ABADDON
(1, p. 5).
ABADDON. s. m. C’est dans l’Apocalypse, c. 9. v. 11. le nom du Roi des Sauterelles. S. Jean explique lui-même ce qu’il signifie. Elles avoient pour Roi l’Ange de l’Abyme, qui s’appelle en Hébreu Abbadon, en Grec Appollyon (ἀπολλύων) & en Latin Exterminans. Tous ces mots signifient la même chose, chacun dans sa langue ; & Abaddon vient de אבד, Abad, perdre, exterminer.