damer (dame + -er; verbalize)
Pilonner le sol avec une dame, afin de le compacter