Béton armé, précontraint à Roche-des-arnauds (la)