What is the keystroke to quickly change a file's name in Windows?

I've seen friends quickly hit a key on the left side of the keyboard and then change the name of a file they had selected.

What is the keystroke to do this?


Solution 1:

It's F2 (Function 2).

Solution 2:

As palehorse said, it's F2. But there's more: F2 is the general key to rename on Windows: works on Excel or Calc cells for example, to replace their content.