Béton armé, précontraint à Rosheim