Mastodon a multiplié par 8 son nombre d'utilisateurs depuis le rachat de Twitter par Elon Musk