France, budgets militaires et loi de programmation