// JavaScript Document

// ============================================================== Window en top location

if (window!= top)
top.location.href=location.href


// ============================================================== Ajout en Favoris

function favoris(title,url){ 
if( document.all){ 
window.external.AddFavorite(url, title); 
} 
else if( window.sidebar){ 
window.sidebar.addPanel(title, url, "") 
} 
}