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.