Statut du personnel des exploitations minières et assimilées. Statut du minier — France. Ministère de l'industrie et du commerce (1952-1959)