Voir :
Le corps des mines aux XIXème et au XXème siècles