Béton armé, précontraint à Sainte-marie-aux-mines