DÉGRAVELER UN TUYAU, (Hydraulique) c’est ôter d’un tuyau de fer ou de plomb, servant à conduire les eaux dans les fontaines, le sédiment qui s’y forme.
adj. (Navigation) côté mécodynamique et navigation, est ce qu'on appelle autrement lieues mineures de longitude, ou milles de longitude. Voyez MILLES DE LONGITUDE.