// Fonction pour gestion du rollover des onglets
function roll(etat,obj) {
	source = document.getElementById(obj).src;
	if (etat == 'on') {source = source.replace('off.gif','on.gif');	}
	else {source = source.replace("on.gif","off.gif");}
	document.getElementById(obj).src=source;
}
// Fonction pour l'antispam email
function mail_antispam(var1){
emailE=(var1 + '@' + 'karavel.com')
document.write('<a href="mailto:' + emailE + '">' + emailE + '</a>')
}