document.write ("<b><a href=/index.html>ACCUEIL</a></b></br>")
document.write ("<a href=/presentation.html>Présentation</a></br>")
document.write ("<a href=/cv.html>Curriculum vitae</a></br>")
document.write ("<a href=/collaborateurs.html>Collaborateurs</a></br>")
document.write ("<a href=/sites-web.html>Sites Web</a></br>")
document.write ("<a href=/publications.html>Livres et publications</a></br>")
document.write ("<a href=/chroniques-news.html>Chroniques et News</a></br>")
document.write ("<a href=/mailinglist.html>Mailing-list</a></br>")
document.write ("<a href=/presse.html>Presse et médias</a></br>")
document.write ("<a href=/astuces-internet.html>Astuces Internet</a></br>")
document.write ("<a href=/contact.html>Contact</a></br>")
document.write ("")