http://gallica.bnf.fr/
*)
+
+
+
(* Un peu de calcul sur les rationnels...
Les opérations rendent des rationnels normalisés,
i.e. le numérateur et le dénominateur sont premiers entre eux.
*)
+
+
+
type rational = {num:int;
den:int}
;;
deduce test2;;
unsolvable test2;;
-*)
\ No newline at end of file
+*)