Béton armé, précontraint à Saint-agnan-en-vercors