Informatique / Option informatique / TP / TD1 - Déduction naturelle
(pdf, 06/12/2025, 91 ko) TD1
(pdf, 06/12/2025, 99 ko) TD1 - corrigé
