GROS COMMIT
Modification du kernel pour adaptation : 
	typeAnalysis refondu
	ajout de TypeAnalysis aux getters de Database
	Analysis => adaptations des constructeurs et des méthodes
Modification de Database.java :
	ajout de getters 
	correction clause buggy dans generateListOfAll 
	ajout de listes avec clauses where
Merge origin/master