Um usuário criou uma pasta, na Área de Trabalho do Windows, copiou e colou um arquivo que estava na pasta Músicas. Com esse arquivo colado selecionado, qual atalho usa-se para renomeá-lo?