Arrêté du 7 décembre 2020 modifiant l'arrêté du 19 avril 2012 relatif aux normes d'installation intéressant les installations électriques des bâtiments destinés à recevoir des travailleurs et abrogeant divers arrêtés relatifs à l'électricité dans les industries extractives