Fonction standard pour dédoublonner une liste ?

Existe-t-il une fonction standard en Python pour dédoublonner une liste (un peu comme array_unique en PHP) ?

Donc, j'ai

1
2
3
2
2
4
5

et je veux obtenir

1
2
3
4
5

par exemple.

Bien sûr, ce n'est pas difficile à coder, mais si une fonction est intégrée à Python, ce serait mieux...

Merci d'avance.

set ? Exemple :

Code:

---

1 2 3 4 5

>>> basket = ['apple', 'orange', 'apple', 'pear', 'orange', 'banana'] >>> fruits = set(basket) # create a set without duplicates >>> fruits set(['orange', 'pear', 'apple', 'banana'])

---

Cordialement, Julp

ça doit être dans la 2.4, je n'ai pas "set()" dans la 2.3.
Jusqu'ici j'utilisais ceci :

Code:

---

1 2 3

>>> a = [1, 2, 3, 3, 3, 4, 5, 6, 6] >>> list(dict([(x,1) for x in a])) [1, 2, 3, 4, 5, 6]

---

En effet, c'est une nouveauté de la 2.4 : http://www.python.org/doc/2.4.1/lib/types-set.html