Le budget des armées est-il vraiment revu à la hausse ?