Si Robinhood liste votre portefeuille demain, quel est le ticker ?