plus de 7 % de l'offre circulante de $pump a maintenant été rachetée par @pumpdotfun