Béton armé, précontraint à Réguisheim