1On remarque que Caml interprète notre fonction comme une fonction qui recherche la présence d’un élément de n’importe quel type dans un tableau d’éléments du même type, il s’agit donc d’une fonction polymorphe qui serait presque impossible à construire dans un langage comme Pascal