document.title="Introduction à l'Internet";