oui, j'ai fait ca. Pour le langage utilise, c'est un langage qui s'appelle CAML (un langage fonctionnel).
En fait, c'est plus de l'algorithmique qu'autre chose.
Dans le desordre,il y a:
complexite des algorithmes
problemes de tris
automates, machines de turing
graphes, arbres, etc...
et pas mal d'autres choses
C'est plutot interessant, meme si ca peut sembler un peu chaud au depart. Avec du recul, je pense que ca m'a vraiment aide.