​Selon Thierry Repentin, le président de l’Agence nationale de l’habitat, 3,1 milliards d’euros d’aides ont été distribués.