Repubblica: ufficiale, i cinesi vogliono quotare il Milan nella Borsa cinese. Shanghai e Shenzen le alternative