!if robot isin $session
!endif
!distribute item WIMS,Classe,Docs,Sup,Préc,Suiv,Hist.,Recharger,\
Version interactive,Version imprimable,\
Retour au doc,Aide,A propos\
into doch_wims,doch_class,doch_docs,doch_up,\
doch_prev,doch_next,doch_hist,doch_reload,\
doch_interactive,doch_printable,\
doch_back,doch_help,doch_about
!set wims_headertype=doc
!header1