Condmac , Logique , 1-3,