Béton armé, précontraint à Puttelange-aux-lacs