fantinetto
fantinétto s. m. [lo stesso etimo di fantina]. – Nella costruzione navale, ognuna di quelle grosse doghe di legno con cui si rivestono le campane dei molinelli e degli argani, perché i cavi vi facciano buona presa e si consumino meno.
