Pour la définition Grossier, nous avons 8 solutions possibles, lesquelles figurent 17 fois dans notre base de données.