Publications récentes :
Toutes mes publications
J'ai écrit un polycopié d'Initiation à la programmation fonctionnelle
TP d'Informatique en Caml (classes préparatoires option info)