Dictionnaire de Trévoux/6e édition, 1771/ARIEL
(1, p. 498).
ARIEL. s. m. Nom qu’Isaïe donne à la ville de David, ou à Jérusalem, ou au Temple. Ariel. Isaï. XXIX, 1, 2, 3. Le P. Lubin prétend que ce mot signifie, montagne de Dieu, ou lion de Dieu. L’inspection seule du texte hébreu d’Isaïe montre qu’il ne peut avoir la première signification.