la grok coin vient de franchir les 6,9 millions de dollars