c’était un problème de diffusion, ça a été résolu ce matin: les décodeurs fonctionnent a nouveau. pas besoin de faire de misea jour de firmware !....