Merci beaucoup pour ta réponse.
Du coup, j'ai corrigé (et amélioré le script) donc je livre la teneur ici à ceux que cela pourrait intéresser.
Merci encore !!
property media_extension_list : {"mp4", "iso", "avi", "mov", "mpg", "mkv", "mpeg", "vob"}
property media_foldername ...