outils utilisés pour extraire des pierres