Béton armé, précontraint à Mireval