Le Premier ministre, le garde des sceaux, ministre de la justice, le ministre de l'intérieur et le ministre des armées sont chargés, chacun en ce qui le concerne, de l'exécution de la présente ordonnance, qui sera publiée au Journal officiel de la Republique française.