Béton armé, précontraint à Sanvignes-les-mines