Dictionnaire de Trévoux/6e édition, 1771/DÉGRAVELER
(3, p. 179).
☞ DÉGRAVELER. v. a. En Hydraulique, c’est nettoyer un tuyau qui sert à la conduite des eaux ; en ôter le sédiment.
☞ DÉGRAVELER. v. a. En Hydraulique, c’est nettoyer un tuyau qui sert à la conduite des eaux ; en ôter le sédiment.