Action de polir c’est-à-dire de frotter une pierre contre quelque chose de très dur pour rendre cette pierre plus lisse.