Béton armé, précontraint à Mundolsheim