Béton armé, précontraint à Roche-de-glun (la)