Index bâtiment, travaux publics et divers de la construction - novembre 2017. Les index Bâtiment, Travaux publics et divers de la construction en novembre 2017 — Institut national de la statistique et des études économiques. France