Um usuário deseja verificar o tamanho, o local, a data de
criação, modificação e acesso de um arquivo previamente
selecionado. Todas estas informações podem ser acessadas
na janela de propriedades do arquivo. Para abrir esta janela, o
usuário deverá pressionar as seguintes teclas: