No ambiente Microsoft Windows 7 Professional em Português, é possível se criar vários usuários que utilizarão o sistema de forma independente e individual. Qual o nome do procedimento realizado para terminar a sessão de um usuário que esteja ativo nesse ambiente?