monoïde – structure algébrique –