Les dispositions du présent décret entreront en vigueur six mois après sa publication au Journal officiel. A la même date, cessera de porter effet, dans les installations visées à l'article 1er, le décret du 13 août 1911 successivement modifié portant règlement général sur l'exploitation des mines de combustibles.