Ces dernières années l'intérêt pour les travaux miniers dans l'exploitation minière a connu une extension considérable dans l'industrie minière comme dans toute pratique professionnelle qui a trait à l'exploitation d'une mine. Nous avons choisi d'ajouter ces éclaircissements, sous la forme d'un post-scriptum dans ce chapitre consacré à la généralité sur les travaux miniers...