function marquer (lien)
{
	if (window.sidebar)
   	 /* Gecko */
   	 window.sidebar.addPanel(lien.id, lien.href, '');
	else
		if(window.external)
			/* IE */
    		window.external.AddFavorite(lien.href, lien.id);
		else
   	 		window.alert('Cette fonction n\'est pas supportée. Utilisez votre menu "Signets", "Marque-pages" ou "Favoris" selon votre navigateur pour marquer cette page.');

	return false;
}