Houlà, quelque-chose doit m'échapper Oliveiro, affirmes-tu que pour tout a entier n'implique pas que c'est vrai en particulier pour a entre 1 et (m-1) ? Pourtant pour moi cette implication est immédiate.
En gros, tu dis qu'un nombre qui vérifie le test de Fermat plus contraignant pour toutes les valeurs de a peut ne pas être premier alors qu'un nombre qui le vérifie seulement pour certaines valeurs de a l'est forcément ? Pourtant, qui peut le plus peut le moins n'est-ce pas ?
Pour moi, la réciproque est fausse, et je te rejoins sur le fait que pour s'en convaincre on pense aux nombres de Carmichael.
A moins d'une erreur de ma part...