Cette fois, une petite troupe s'avançait composée de vingt ou vingt-cinq hommes; mais ce n'étaient plus des travailleurs, c'étaient des soldats de la garnison.
Nu naderde een kleine krijgsbende van twintig of vijf en twintig man; doch het waren nu geen schansgravers, maar soldaten van het garnizoen.