PIONNIER. s.m.
Travailleur dont on se sert dans une armée pour applanir les chemins, & pour remuer la terre dans les différentes occasions. Avoir de bons pionniers. Il se dit aussi généralement De tous les travailleurs qu'on emploie dans un siége, pour faire des lignes de circonvallation & de contrevallation.