transfo Group -> Monoid continued