Béton armé, précontraint à Port-sur-seille