html/aventuriers.html: $(LISTEFICHIERS)
# mkdir -p html
nice -19 htlatex aventuriers.tex "xhtml,charset=utf-8" " -cmozhtf -utf8" "" -interaction=nonstopmode
+ ln -sf aventuriers.html index.html
symbole.png: symbole.svg
inkscape -D -z --file=symbole.svg --export-png=symbole.png --export-width=75