Introduction en bourse record mondial