Soient un espace affine euclidien de dimension 3 et un repère cartésien orthonormé de . Soit un entier . On considère l’ensemble des points de dont les coordonnées dans satisfont aux deux conditions suivantes :
1
Les nombres , et sont dans ;
2
Le nombre est divisible par .