Béton armé, précontraint à Cravent