Une autre solution à toute fin utile
Soit p>2 tel que p|C(p,k) pour tout k de 1 à p-1
pour tout k de 1 à p-1 et tout i de 1 à k on a : p|C(p,i)=C(p-1,i)+C(p-1,i-1)
==> p|(-1)^(i+1)C(p-1,i)+(-1)^(i+1)C(p-1,i-1)=(-1)^(i-1)C(p-1,i-1)-(-1)^(i)C(p-1,i)
==> p| somme( i=1..k) (-1)^(i-1)C(p-1,i-1)-(-1)^(i)C(p-1,i)= 1+(-1)^(k+1)C(p-1,k)
soit d un diviseur de p tel que 0< d< p ,
==> p|(-1)^(d)+C(p-1,d-1)
==> p|(-1)^(d)p/d+p/d.C(p-1,d-1) =(-1)^(d)p/d+C(p,d)
Mais p|C(p,d) alors p| p/d (-1)^d ==> p|p/d ==> d=1. Donc p premier