Gwennaël Bricteux Mes liens avec l'Acfas Conférencier 85e Congrès de l'Acfas : Un critère catégoriel pour la cohérence des systèmes de logique