Nombre maximal d'activités

let rec longueur l =
  match l with [] -> 0 | _ :: r -> 1 + longueur r

let nombre_max activites = longueur (selection activites)

On réutilise selection et l'on compte. Le glouton « fin la plus tôt » garantit que ce nombre est maximal (cf. l'argument d'échange).