Arrêté du 30 octobre 2023 modifiant l'arrêté du 25 juin 1980 — Arrêté du 30 octobre 2023 modifiant l'arrêté du 25 juin 1980 portant approbation des dispositions générales du règlement de sécurité contre les risques d'incendie et de panique dans les établissements recevant du public (ERP)