L'exploitation du quartz dans le Sahara et le Soudan à Holocène