Logique du topos borroméen et autres logiques à trois points 

par Stéphane Dugowson