Budget de l'armée : vers la suppression d'un jour férié ?