1. Donner un caractère polynomial à.D’une part, la traduction ou l’immersion arithmétique de la logique nous a donné l’ancrage nécessaire pour «polynomialiser» connecteurs et quantificateurs.La première chose à faire, totalement indépendante du polynôme f ci-dessus, est de “polynomialiser” en 5 indéterminées chaque action transitive de S5.C'est cela qui permet de "polynomialiser le binz'.