Sous-groupes additifs de ( IR , + )

Commentaires