Graines différentes pour V et J : usage
Après #3954 (closed)/!634 (merged).
Attend-on une remise à plat globale des graines #1364 et/ou le seul index pour tous #1169, ou déjà essaie-t-on de mettre dès maintenant quelques J plus petits ? Autre chose ?