dioïde – structure algébrique –