Budget général, services militaires — France