diablotin

Nom commun

Petit diable. (Figuré) (Familier) Se dit d’un méchant petit enfant. (Marine) Voile trapézoïdale d’étai du perroquet de fourgue. (Technique) Ouvrier qui apporte les olives sous la meule du pressoir. (Technique) Chez les teinturiers, cuve, appelée aussi reposoir, qui récupère l’indigo contenu dans dans les eaux mères.