#57: factorisation de paramètres de ws