[791] Dedoubliren (v. fr.), 1) um die Hälfte vermindern; 2) beim Marschiren in halbe Züge abbrechen.
Herder-1854: Dedoubliren