Florent Pompigne: Modélisation logique de la langue et Grammaires Catégorielles Abstraites. (Logical modelization of language and Abstract Categorial Grammars). University of Lorraine, Nancy, France 2013