Le géant chinois de l'Internet Baidu lève 3,1 milliards de dollars lors de son entrée à la Bourse de Hong Kong