var navig = navigator.appVersion
var vers = navig.substring(0, 3);

if ( vers<4.0)
	{
alert("\nLa version de votre navigateur [version " + vers + "] ne vous permet pas de visualiser le DHTML ! 	\n\nLe tutoriel explique cette nouvelle technologie, il est donc impératif de télécharger une version plus récente de votre navigateur ! \n\nÀ bientôt...");

top.location.href= "reste.html";
}

    function showObject(object) {object.visibility = vis}
    function hideObject(object) {object.visibility = invis}