outils pour extraire le granit dans les années 1800