ligne budgétaire de 10 milliards