Ben non, puisque si y a des variables dont je connais pas la valeur elles vont être réévaluées dans Z/pZ et ça donnera n'importe quoi. Ca veut aussi dire que eval o subs(deux,2) o eval o subs(2,deux) n'est pas du tout équivalent à eval, ce qui est un peu bizarre parce que le but d'un CAS c'est de permettre des généralisations en remplaçant une valeur particulière par un symbole. Bref, faire une première évaluation dans C est un peu un hack puisque MAY ne se souviendra plus du contexte de cette évaluation et réinterprétera l'expression dans Z/2Z.