<!--

function AjoutFavoris(theURL, theTITLE) {
window.external.AddFavorite(theURL, theTITLE);
}

//-->