converting HTML character instructions into UTF-8 (otherwiez importation fails) such characters are needed for the SVG generation
Parameterization of the Wiki in FUN
Update of a detail in the main parameterization...
Explicit title for the side bar documents in the course information