Progresser en logique — Franck Attelan, François Drogoul