Dans les deux fichiers. On veut exporter la définition (la rendre visible à
l'extérieur, donc on doit la mettre dans le module poly.mli). Il faut
aussi la mettre (ici à l'identique) dans le module poly.ml, car toute
composante exportée doit aussi être implémentée.