Construction : 375.100 permis de construire sur 12 mois à fin octobre 2023