L’Encyclopédie/1re édition/HOCHE ou COCHE
* HOCHE ou COCHE, s. f. (Art. méchan.) dans l’art de bâtir, ce sont des entailles qu’on fait sur de petits montans de bois qu’on scelle dans les murs, pour tendre des lignes ou cordeaux, à repairer & à constater leur épaisseur.
On fait des coches ou hoches sur une taille pour compter les pains qu’on prend à crédit.
C’est par une hoche qui arrête la corde d’une arbalete, qu’on la bande : on marque dans les atteliers la besogne par des hoches. En général hoche ou coche est un copeau en coin qu’on sépare de la partie anguleuse d’un morceau de bois, pour déterminer ou des longueurs, ou des quantités, ou des épaisseurs. Voyez Coche.