dedoublemenclature