document.write('<FONT FACE="Arial" SIZE="-2">');
document.write('<A HREF="intervenant-doss.htm">. Intervenants au dossier</A>');
document.write('<BR>');
document.write('<A HREF="intervenant-ext.htm">. Intervenants extérieurs</A>');