Revision partielle de la convention limitant la durée du travail dans les mines de charbon, 1931 (Bureau International du Travail, 1935)