(* Pgcd de deux entiers non nécessairement positifs. *) (* Une solution consiste à prendre la valeur absolue tout à la fin *) let rec gcd x y = if y = 0 then abs x else gcd y (x mod y) (* Une autre solution, tout aussi valable, consisterait à prendre la valeur absolue de x et de y avant de faire le calcul. *) (* le résultat de gcd x y vaut 0 si et seulement x = y = 0 *)