No doublons in lists

Doublons are not usefull and can cause a combinatorial explosion in some pathologic cases, at least, that increase the number of request and computation time. So the operation 'union' is the union of set theory and not the list concatenation. More generally, operations on lists don't preserve order.