Dépenses militaires : une bonne chose pour l’économie ?