querido amigo:
ya lo he encontrado siguiendo la pista que me has dado. efectivametne tenia que configurar la salida de audio de la ps3 hdmi.
muchisimas gracias, un abrazo.