Les sommes qui sont versées à titre de cotisation de sécurité sociale dans les mines, tant par l'exploitant que par le travailleur, sont déduites du total du revenu de ceux-ci pour l'assiette de l'impôt sur les revenus et de l'impôt général sur le revenu.