(* VECTEUR DYNAMIQUE *)

type 'a vecteur = { mutable l:int; mutable i:int; mutable v: 'a vect };;

let vecteur_el e =
    { l = 1; i = 0; v = [| e |] };;

let vecteur =
    { l = 0; i = -1; v = [| |] };;

let ajouter_vecteur v e =
    if v.l > 0 then
    begin
            if v.i = v.l - 1 then
            begin
                let r = (make_vect (2 * v.l) 0) in
                for j = 0 to v.l - 1 do
                    r.(j) <- v.v.(j);
                done;
                v.v <- r;
                v.l <- 2 * v.l;
            end;
            v.i <- v.i + 1;
            v.v.(v.i) <- e;
        end
    else
        begin
            v.v <- [| e |];
           v.l <- 1;
           v.i <- 0;
        end;;

let supprimer_element v ind =
    if ind > v.i then
        failwith "Indice hors limites.";
    v.i <- v.i - 1;
    for i = ind + 1 to v.l - 1 do
        v.v.(i - 1) <- v.v.(i);
    done;;

let supprimer_fin v =
    if v.i > -1 then v.i <- v.i - 1 else failwith "Vecteur vide.";;

let dans_vecteur v e =
    let trouve = ref(false) in
    for i = 0 to v.i - 1 do
        if v.v.(i) = e then trouve := true
    done;
    !trouve;;

let v = vecteur_el 0 in supprimer_fin v;
for i = 0 to 1000 do
    ajouter_vecteur v i;
done;
v;;