type 'a structure_de_tas ;; exception Tas_Plein ;; exception Tas_Vide ;; value percolation : 'a structure_de_tas -> int -> unit and insre_dans_tas : 'a structure_de_tas -> 'a -> unit and extrait_minimum : 'a structure_de_tas -> 'a and tas_en_liste : 'a structure_de_tas -> 'a list and tas_en_vecteur : 'a structure_de_tas -> 'a vect and liste_en_tas : ('a -> 'a -> bool) -> 'a list -> int -> 'a structure_de_tas ;;