La réalisation d'un test pour un modèle probabiliste du vote approbatoire est traduit en la recherche d'une description linéaire d'un certain polytope convexe. Plusieurs familles d'inégalités définissant des faces maximales ont déjà été obtenues. [The design of a test for a probabilistic model of approval-voting data is recast as the search for a linear description of a specific convex polytope. Several families of facet-defining inequalities have already been determined]