Tiens en fait 'a option est un type builtin, je croyais que c'était dans pervasives.