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.