Béton armé, précontraint à Garches