Béton armé, précontraint à Diemeringen