Budget général, services civils — France