Le Littré de la Grand’Côte/3e éd., 1903/Robinet
ROBINET, s. m. — Instrument de correction pour le derrière des petits gones. Il se compose d’un faisceau de ficelles avec un petit nœud à un bout, les ficelles étant réunies à l’autre bout par une torsade enroulée de manière à former un manche. Cet instrument avait certainement été inventé à l’usage des collèges. — De Robin, nom propre. Le robinet est le petit Robin comme le martinet (voy. ce mot) est le petit Martin.