homomorphisme de monoïdes