Aujourd'hui le budget de la gendarmerie est d'environ 8,8 milliards d'euros, dont 7,4 millions sont consacrés aux personnels et 1,1 million au fonctionnement. Vous avez parlé de la mise en réserve 3 %. Aujourd'hui, sur quels budgets porte, de fait, la mise en réserve ?