bacino di raddobbo

loc. s. m. (mar.) in un porto, grande vasca, che si può chiudere e svuotare, per portare in secco una nave.
1890 [DELIN e GRADITe 1937 (Dizionario di marina)]
Cfr. Michele A. Cortelazzo, Retrodatazioni al "DELI" da traduzioni letterarie ottocentesche, in "Studi di lessicografia italiana", vol. XXXIX, 2022, pp. 247-312.
---
Michele A. Cortelazzo - Accademia della Crusca - 12/01/2023