• Favereau
    • DIAVELIN DIAVELIÑ:, (gw. var. DIS- vb. réduire la surface de toile (moulin), de voile, & amortir.
  • Devri
    • (marine) Déventer.