Protection contre les risques d’incendie dans les immeubles de grande hauteur relevant du ministère de la défense (Abrogation)