mmm non so se potrebbe fare al caso mio perché a me interessa solo verificare se esiste un file di cui però non conosco l'estensione e qualora esistesse conoscere la sua estensione.

Però in effetti mi hai fatta ragionare: non dovrebbe succedere, però qualora ci fossero due file con uguale nome ma diversa estensione sarebbe comunque un problema, perciò mi sa che dovrò trovare un'altra via!