Seol mar théacs é seo: Louis Couturat -Trait de Logique algorithmique