function changeLangue(langue) {
   document.getElementById('langue').value = langue;
   document.main.submit();
   return true;
};

function set_mouse_pointer(obj)
{
obj.style.cursor='pointer';
}