function favoris() 
{ 
  if ( navigator.appName != 'Microsoft Internet Explorer' ) 
  { 
window.sidebar.addPanel("LesJeuxGratuits.Org : Guide des jeux gratuits en ligne","http://www.lesjeuxgratuits.org",""); 
  } 
  else 
  { 
window.external.AddFavorite("LesJeuxGratuits.Org : Guide des jeux gratuits en ligne","http://www.lesjeuxgratuits.org"); 
  } 
}