Béton armé, précontraint à Gresse-en-vercors