Grain 3.0 : automate à états finis pour les multiples de 3