Les nombres pseudo-premiers de Perrin-1

Voici, présentée sous forme de problème à l'agrégation interne, la jolie suite de Perrin, qui semble fournir un test de primalité. On va voir que si p est premier, alors le terme u_p de la suite est divisible par p. On a longtemps cru que la réciproque était vraie...
Attention, comme le fait remarquer Maticawa (merci à lui!) 341 n'est pas un nombre de Carmichael, c'est juste un nombre tel que 2^341-2 est divisible par 341. Le premier nombre de Carmichael est 561.

[@nicolasnico9795]

Bonjour
Un petit lapsus je crois
A 3'44" (a/p) =1 si a est un carré modulo p et -1 si a n'est pas un carré modulo p

[@philcaldero8964]

@@nicolasnico9795 oui c'est censé être ça 😁