privat/nit — pull request #753 by privat (2014-09-18 00:05:46+00:00)
Title: introduces `MGroup::default_mmodule`

There is no reason that "the module of a group that has the same name than the group and that is implicitly designated in importations when only the group's name is given" is not a concept of the model with a simple name name and a fully specified semantic.

A step toward #721 and maybe a help for #693