Soit n un entier naturel, on suppose qu'il vérifie : -] p € |N, V q € |N, (q|p => (q = 1 ou (q = 3 et 3 =/= p) ou q=p)) et [n/2] =/= 1 et n = p² + 1.
Alors n.

[EDIT : Sally > (Je te réponds en edit pour pas prendre un n° pour rien) Bah, nan, ça marche pas ]