in the art of war, are persons who are ordered in from the country, to march with an army, for the purpose of mending the roads, working on intrenchments and fortifications, and forming mines and approaches.