l extraction de diamants en afrique du sud au 19ème siècle