Binet

Abréviation du mot cabinet. Dans le jargon de l’École polytechnique, ce terme désignait les salles dédiées à une activité spéciale, à l’exception des salles d’études et des dortoirs. Il y avait ainsi des binets de musique réservés aux musiciens durant les récréations ou un binet de service où se tenaient les clairons et les tambours chargés des différentes sonneries rythmant la vie de l’école. Le binet de colle était bien-sûr la salle où les répétiteurs faisaient passer les examens.