Un indice (attention ça spoil grave) :
Comparer P( être égal à k ) et P( ne pas être divisible par tout entier n > k)