J'ai "2,5,7-9,12"
chaîne.
Je veux en tirer la liste [2, 5, 7, 8, 9, 12].
Existe-t-il une fonction intégrée pour cela en Python ?
Gracias.
UPD. Je suppose que la réponse directe est Non . En tout cas, merci pour vos "snippets". J'en utilise un, suggéré par Sven Marnach .