[reasonner] Code refactoring + doc!