The grinding of a tool