Theoretical and experimental study of the ploughingof a rigid-plastic semi-infinite body by a rigid pyramidal indenter