type 'a t val vide : unit -> 'a t val inserer : 'a -> 'a t -> 'a t val compter : 'a -> 'a t -> int val retirer : 'a -> 'a t -> 'a t exception Element_absent