<!--
function menuderoulant(selection){
window.location=selection.options[selection.selectedIndex].value;
}
//-->