Merge branch 'master' of gitlab.crans.org:genie_logiciel_2015/the_dungeon_project
* 'master' of gitlab.crans.org:genie_logiciel_2015/the_dungeon_project: configurationPanel terminal+abstract done
* 'master' of gitlab.crans.org:genie_logiciel_2015/the_dungeon_project: configurationPanel terminal+abstract done