//	Fonction à insérer dans les frameset
//	Fonctionne sous IE et Netscape 6 mais pas sous Netscape 4.7
function verif_titre_page()
{
	document.title = window.page.document.title ;
}