function change_button_state(button, disable)
// Rôle :
//      Cette fonction a pour but de changer l'état du bouton <button> 
// (balise HTML "input" de type "submit") à <disable>. Si <disable> vaut "true",
// le bouton est innaccessible. Si <disable> vaut "false", le bouton est cliquable.
// Dans les autres cas, le comportement est imprévisible.
//      Il est également possible d'ajouter un troisième paramètre en caché.
// Si ce paramètre est présent, l'attribut "value" de <button> prend pour valeur
// ce paramètre caché.
//
// Contrat :
//      <disable> doit prendre la valeur "true" ou "false"
{
  Element.writeAttribute($(button),'disabled',disable);
  if(change_button_state.arguments.length==3) Element.writeAttribute($(button),'value',change_button_state.arguments[2]);
}


function mouseOverATr(tr)
{
  $(tr).addClassName('list_hover')
}

function mouseOutATr(tr)
{
  $(tr).removeClassName('list_hover')
}