Bitmain envisagerait une introduction en bourse (IPO)