À propos, personne ne sait comment désinstaller Portal sur un PC offline ?