function change_couleur(id, couleur)
 { 
   document.getElementById(id).bgColor = couleur; 
 }