Dictionnaire de Trévoux/6e édition, 1771/DROCA
(3, p. 468).
DROCA. Rivière d’Afrique, qui coule dans la partie occidentale du Royaume de Barca, nommée Mestrata. Droca. Cette rivière donne aussi son nom à la côte de ce Royaume, que l’on nomme côte de Droca. Ora Drocea.