Si A est un sous groupe de Z (muni de +), il existe D ? 0 unique, tel que A=DZ. Si
A = {0}, alors D=0. Si A = 0, alors A contient des éléments > 0 puisque A est
stable par x ?? ?x ; soit D le plus petit de ces éléments. Une récurrence
immédiate montre que A contient nD, pour tout n ? N, et donc aussi pour tout n
? Z puisque ... 
