Béton armé, précontraint à Rocroi