https://123dok.net/document/q05j58rg-caractérisation-monoïdes-partie-monoïde.html