Contenu du dossier:

- DS2_2025: DS sur la logique et OCaml impératif
- DS5_MP2I_2025: DS sur la logique et OCaml impératif, 
  avec un exercice de modélisation logique au début
- DS5_MP2I_2024: DS sur la logique, pas de programmation.