ЛИННЕМАНОВСКАЯ ЛОПАТА, первоначальное название, по имени изобретателя, малой носимой лопаты для пехоты (см. Шанцевый инструмент1).
[1] Материал словаря, содержащий информацию, на которую указывает эта ссылка, опубликован не был