Salve a tutti, ho questo problema: ho migliaia di file nominati "xxxxx-xxxxxx-xxx.pdf.p7m", dovrei rinominarli tutti eliminando l'estensione ".p7m" e lasciando solo ".pdf". Sapete indicarmi come?

Grazie in anticipo