Ho pensato che un modo potesse essere con un case sulle estensioni conosciute e poi applicare basename su quell'estensione ma è un po' limitato dal momento che funzionerebbe soltanto per le estensioni conosciute e mi pare anche un po' macchinoso.
Qualcuno mi può dare una mano? Grazie Piviul