Une démonstration “vérificative” dʹun résultat de Foata-Zeilberger sur les relations bipartitionnaires

Résumé de dʹun programme informatique realisant toutes les vérifications utiles, on redémontre une condition nécessaire pour que les deux statistiques maj′U et inv′U soient équidistribuées sur toute classe de réarrangements de mots. Ce résultat est la partie “seulement si” du Théorème 2 dans [3]. he help of a computer program that makes all the relevant verifications we reprove a necessary condition for the two statistics maj′U and inv′U to be equidistributed on every class of rearrangements. This result is the “only if” part of Theorem 2 in [3].