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.
Partager