Près de 3 milliards d'euros pour rénover plus de 4000 bâtiments de l'État