Ordonnance n° 142/A.E. du 20 octobre 1938 complétant le règlement sur les installations électriques, annexé à l’ordonnance du 29 décembre 1933