Lorsque le jugement d'une juridiction des forces armées, prononçant une peine privative de liberté sans sursis, n'a pu être amené à exécution, le commissaire du Gouvernement fait procéder à sa diffusion.

Il est délivré à l'agent de la force publique chargé de l'exécution du jugement un extrait portant la formule exécutoire ; cet extrait constitue, même au cas d'opposition à un jugement par défaut, le titre régulier d'arrestation, de transfert et de détention dans un des établissements énumérés à l'article 135.