Merge branch 'release/0.4.0'
Merge branch 'release/0.4.1'
replace monoid reference by semigroup
Merge branch 'develop' into monoid_to_semigroup
add doc
typo
Merge pull request #487 from julienledem/monoid_to_semigroup

Monoid to semigroup