En temps de guerre, s'il n'a pas été formé de pourvoi, le jugement est exécuté dans les vingt-quatre heures après l'expiration du délai fixé pour le pourvoi.