function change_class(elem,classe) { 
  elem.className = classe;
}

function button_click(page) {
  if (page == 'accueil')
    window.location = './index.php';
  else
    window.location = './main/'+page+'.php';
}