E aggiungerei anche un'altra domanda: una volta verificata l'esistenza del file senza indicare l'estensione, è possibile conoscere l'estensione del file stesso?