de-doc 1 (sm. invar.) Denominazione antica del comandante delle truppe di una provincia nel Tonchino.