Um usuário do Windows XP está acessando os recursos do Windows Explorer. Para renomear um arquivo, ele deve executar, nessa seqüência, os procedimentos abaixo descritos:

(1) Por meio do mouse, clicar sobre o nome do arquivo, para selecioná-lo
(2) Pressionar uma determinada tecla TCL do teclado
(3) Escrever o novo nome no destaque selecionado
(4) Finalizar com

Nessas condições, a tecla TCL é: