237 millions d'euros pour rénover les bâtiments de l'État