Un savoir-faire typiquement jurassien : la taille de diamants naturels pour l’industrie et la fabrication d'outils-diamants