Le grand dictionnaire historique/éd. de 1759/Abaddon
ABADDON, nom que saint Jean dans son Apocalypse donne au roi des sauterelles, ange de l’abyme, & qu’il explique par le mot grec Ἀπολλύων (c’est-a-dire, qui fait périr) en latin exterminans, qui signifie exterminateur. Ce roi ange est la figure de satan ou du démon. * S. Jean, Apoc. c. 9, v. 11.