Dictionnaire de Trévoux/6e édition, 1771/DERNE
(3, p. 251).
DERNE. Petite ville d’Afrique, dans le Royaume de Tripoli, à demi quart de lieue de la mer.
☞ Derne, est aussi le nom d’une rivière d’Afrique, qui descend du grand Atlas, passe dans la Province de Fedla au Royaume de Maroc, & va se rendre dans le fleuve Ommirabi, au nord.