Béton armé, précontraint à Puy-du-lac