Encyclopédie méthodique/Architecture/Tonneau de pierre
(3, p. 504).
TONNEAU DE PIERRE (construction), s. m. On appelle ainsi la quantité de pieds cubes qui sert de mesure à Paris, pour la pierre de Saint-Leu, et qui peut peser environ un millier ou dix quintaux ; ce qui fait la moitié d’un tonneau pour la cargaison d’un vaisseau. Lorsqu’une rivière a sept ou huit pieds d’eau, la navée d’un grand bateau peut porter à 400 à 450 tonneaux de pierre.