Développement des dépenses budgétaires, défense — France. Direction générale de la comptabilité publique