Merci pour vos réponses,
Mamiemando >> jackd est en fait trop poussé pour ce que je veux faire; l'utilisation de ssh est intéressante (je m'en sert déjà pour administrer le serveur), d'autant plus que le plus gros de ma musique est stocké sur le serveur.
Par contre, ça ne me permet a priori pas de rediriger le son de n'importe quelle application sur le serveur.
Tlep >> je me suis renseigné sur esd, ça semble convenir. Il y a aussi PulseAudio, une sorte de Esound qu'on peut utiliser aussi sous Windows. Je pense installer PulseAudio, si les détails vous intéressent, dites-le moi, je vous tiendrai au courant de l'installation.
Merci encore, j'ai de la chance d'avoir deux réponses, qui se complètent !
LogOff