Le type de la fonction demandée est ('a -> bool) -> 'a list -> 'a list * 'a list
Le résultat est un couple de listes (et non pas une liste de couples de listes (int list * int list) list).
Le type de la fonction demandée est ('a -> bool) -> 'a list -> 'a list * 'a list
Le résultat est un couple de listes (et non pas une liste de couples de listes (int list * int list) list).