petite exploitation minière de granit