Exercices de programmation en OCaml

Une approche pédagogique par l'algorithmique, la preuve et la complexité