function surligner (str)
{
str1=str.charAt(0).toUpperCase()+str.substring(1) ;
str2=str.toUpperCase() ;
str3=str.toLowerCase() ;

var chaine=document.getElementById('surlignage').innerHTML;
var reg=new RegExp(str, "g");
document.getElementById('surlignage').innerHTML=chaine.replace(reg,"<span style='background-color: #ffff00; font-weight: bold;'>"+str+"</span>");
chaine=document.getElementById('surlignage').innerHTML;
reg=new RegExp(str1, "g");
document.getElementById('surlignage').innerHTML=chaine.replace(reg,"<span style='background-color: #ffff00; font-weight: bold;'>"+str+"</span>");
chaine=document.getElementById('surlignage').innerHTML;
reg=new RegExp(str2, "g");
document.getElementById('surlignage').innerHTML=chaine.replace(reg,"<span style='background-color: #ffff00; font-weight: bold;'>"+str+"</span>");
chaine=document.getElementById('surlignage').innerHTML;
reg=new RegExp(str3, "g");
document.getElementById('surlignage').innerHTML=chaine.replace(reg,"<span style='background-color: #ffff00; font-weight: bold;'>"+str+"</span>");
}