(pdf, 22/09/2023, 330 ko) Corrigé_dm1
(pdf, 03/10/2023, 552 ko) Corrigé_dm2
(pdf, 06/10/2024, 85 ko) corrigé_dm2
(pdf, 07/11/2024, 116 ko) corr_dm3
(pdf, 28/12/2023, 284 ko) corr_Tseitin
(pdf, 11/09/2023, 605 ko) dm1
(pdf, 18/09/2023, 89 ko) dm2
(pdf, 25/09/2024, 131 ko) dm2
(pdf, 26/09/2023, 24 ko) dm3
(pdf, 06/11/2024, 116 ko) dmTseitin_pour_le_21_11_24
(pdf, 14/12/2023, 116 ko) dmTseitin_pour_le_22_12_23