google ne sait pas s'il existe un nombre composé n différent de 1, tel que phi(n) divise n-1.