chez moi il est installé dans le dossier sourcemods, pas dans le dossier portal
et puis la line de commande pour lancer le jeu est assez comlexe, je sais pas si tu pourras l'installer juste en dezippant