robine nom féminin (de Robin, forme fam. de Robert) Petit marteau en bois dont se sert le mouleur pour tasser le sable du moule.