[Mil. Woordenboek, spelling van 1861 ``Petarderen``] Hierdoor verstaat men het maken van kleine mijnkamers in rots of metselwerk, die over een gedeelte harer lengte met buskruid gevuld en voorts met klei, steengruis en zand toegestopt worden. Om deze werkzaamheden te verrigten zijn de mineurs voorzien van een petardeerijzer, eene petardeerna...