Is a TMP file (as I wrote should change the extension), is it not related to the file I lost?

I tried the option you wrote and found nothing there.

Thanks again!