Les produits pétroliers, principale énergie dans le secteur de la construction — France. Commissariat général au développement durable