Béton armé, précontraint à Mirefleurs