Пунсон (инструмент). Большая российская энциклопедия