Outils miniers dans les années 1800