Béton armé, précontraint à Mantes-la-jolie