le budget alloué avait été sucrée…

Tu déconnes... Sans déc, ça coûte combien une instance Mastodon par mois? Toutes les associations du libre arrivent à les faire tourner, mais pas l'ANSSI?