type vecteur = int type matrice = int list type polynome = int val nthOfBinarint : int -> int -> string val print_matrice : int -> matrice -> unit val print_vecteur : int -> vecteur -> unit val print_polynome : polynome -> unit val produit : matrice -> vecteur -> vecteur val deux_puissance : int -> int val orderize : 'a -> 'a -> 'a * 'a val identite : int -> int list val changer_bit : int -> int -> int val decagauche : int -> int -> int val respecter : int -> int list -> bool val matriceAuPif : int -> int -> matrice val polmul : polynome -> polynome -> polynome val degre : polynome -> int val poldiveuc : polynome -> polynome -> polynome * polynome val poldiv : polynome -> polynome -> polynome val polrst : polynome -> polynome -> polynome