Si rien n'est plus dur que le diamant, comment fait-on pour les tailler ?