Marchés de l'État, marchés de travaux de bâtiment 1972 — France