Défi Micropython : extraire le nom d'un fichier à partir d'un chemin ou d'une url

Extraire le nom d'un fichier à partir d'un chemin ou d'une url est quelque chose que l'on peut être régulièrement amené à faire : plutôt simple à faire en (Micro)Python.