Béton armé, précontraint à Gundershoffen