extraire une partie d'un string

[headphoner]

Bonjour,

Je sauve un son avec "save rand" dans un sampler, le "short filename" du fichier est "monpatch-8549010"


je désire extraire uniquement 8549010 afin de le transformer de string en integer.

comment faire ou existe-il déjà une solution?