Pollux (./64) :
Euh je veux bien que tu t'inquiètes des puissances complexes dans R, mais modulo p ? C'est possible que a^I puisse avoir un sens modulo p ? (si a!=1)

J'en sais rien

Pollux (./64) :
Ben le cas où tu prends la racine de 1 est justement le cas le plus simple : la racine la "mieux" est 1 -- de même que dans R, on prend les racines positives parce qu'elles sont "mieux". Donc pour 4^n, t'as pas trop de questions à te poser parce que 1^n = 1.

Probable.

Pollux (./64) :
Enfin bon, toujours est-il que j'aime pas trop l'idée qu'on prend une expression dans C et puis tout d'un coup on lui colle un opérateur mod() qui lui change complètement la sémantique, ce qui fait que le résultat changera selon qu'on fait une évaluation partielle ou pas avant l'appel à mod(). Bref...

Ben si tu évalues d'abord dans C, puis dans Z/pZ, tu obtiens ce que tu as voulu.
Je ne vois rien de choquant.