====== Introduction à la logique ====== * Contrôle / dessin de diagrammes de Venn http://www.u-aizu.ac.jp/~niki/courses/sccp/venn/index.html ===== Documents ===== ~~DISCUSSION~~