(* Indique si (max x y) est un multiple de (min x y). *) let rec multiple x = function | y when y > x -> multiple y x | y -> x mod y = 0