use "topfind";;

require "num";;

( BigNum et ZArith ne fonctionnent pas chez moi... )