10 JUILLET 1957. - Arrêté royal complétant le règlement général pour la protection du travail en ce qui concerne l'industrie de la construction