Béton armé, précontraint à Tressin