for raising or levelling sunken paving for filling voids under paving for introducing material into substructure