Version 0.84+1.3

New features :

• improvements in profile management:
  • logs none/write, to make a log file
  • if no main page right, no plugin menu
  • if no central page right, no tab
• improvements in map javascript