Réduction de la durée du travail (Bureau International du Travail, 1935)