Dictionnaire de Trévoux/6e édition, 1771/DÉVENTER
(3, p. 295).
DÉVENTER. v. a. Terme de Marine. Déventer les voiles, c’est ôter le vent de dessous ou de dedans une voile, en la manœuvrant, & la faisant ralinguer ou battre. Complicare, constringere vela.