Budget des armées : 413 milliards d'euros, le prix à payer