Budget des armées : une enveloppe de 413,3 milliards d'euros sur sept ans