(A,+) doit être isomorphe à (End(A,+), +)