Le but de ce script est de pouvoir afficher le source de la page, sans passer par les commandes de menus du navigateur.