function relief(lien,fond,couleur,gras) {

// Nouveau fond
lien.style.backgroundColor = fond;
// Nouvelle couleur
lien.style.color = couleur;

// Suppression du soulignement
lien.style.textDecoration = "none";

// Ajout de gras

if(gras) {
lien.style.fontWeight = "bold";
}

}

function fin(lien,fond,couleur,gras) {

// Fond originale
lien.style.backgroundColor = fond;
// Couleur originale
lien.style.color = couleur;

// Remise du soulignement
lien.style.textDecoration = "none";

// Suppression du gras

if(gras) {
lien.style.fontWeight = "normal";
}

}