fun list1 list2 -> ...
Il n'y a rien qui puisse obliger le premier élément de la liste 1 d'être également le second élément de la liste 2. D'ailleurs il n'y a rien qui puisse obliger list2 à...