BookeldOr
: le principe de sous-typage n'existe pas en ocaml

int list n'est donc pas un sous-type de 'a list ?