Éléments de logique classique... — François Chénique