dioïde - structure algébrique -