diff --git "a/seminar-slides/2023-12-20-Alexis_DE_COLNET-Compilation_de_connaissances_et_Bornes_Inf\303\251rieures_pour_les_Syst\303\250mes_de_Preuve.pdf" "b/seminar-slides/2023-12-20-Alexis_DE_COLNET-Compilation_de_connaissances_et_Bornes_Inf\303\251rieures_pour_les_Syst\303\250mes_de_Preuve.pdf"
new file mode 100644
index 0000000000000000000000000000000000000000..e05edb773b05a270753353f843bd00a1bb5e4a25
Binary files /dev/null and "b/seminar-slides/2023-12-20-Alexis_DE_COLNET-Compilation_de_connaissances_et_Bornes_Inf\303\251rieures_pour_les_Syst\303\250mes_de_Preuve.pdf" differ