Hippopotame :
Mouais, vu le dernier N-1-échantillon suggéré à la question 1 n'en est pas un, ya un problème dans l'énoncé.

Ben si c'en est un car {a1...aN} est un ensemble de N entiers premiers entre eux deux à deux, donc nécessairement {a1...aN-2, aN-1aN} est un ensemble de N-1 entiers premiers entre eux deux à deux.

{a1...aN-2,a(N-1)aN} en est un car {a1...aN-2} est un N-2 échantillon ; aN-1 et aN ne sont pas divisible par tout entier dans {a1...aN-2}, donc aN-1aN n'est pas divisible par tout entier dans {a1...aN-2}, donc {a1...aN-2,a(N-1)aN} est un N-1 échantillon.

Bon, pour le reste j'ai pas ragardé, j'ai juste répondu à la question d'Hippo.

Par contre comme les notations sont lointaines, que signifie l'énoncé (En) ?