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.

Qqn connaît-il ce site ?
http://publicdomaintorrents.com/
Et peut-il confirmer (ou non) que le contenu est bien légal ?
Connaissez-vous des équivalents ?
R.