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.