militärbudgeter uppgående till 3,182 millioner francs.