Béton armé, précontraint à Ohnenheim