Um usuário do Windows 10 tem, em uma de suas pastas de arquivos pessoais, vinte arquivos com nomes distintos, todos com a mesma extensão .jpeg. Ele deseja alterar o nome de todos esses arquivos.
Nessa situação hipotética, uma forma de o usuário executar a alteração desejada é