let rec nb_occ_elt1_a e s = match s with [] -> 0 | e'::s' -> (if (e = e') then 1 else 0) + (nb_occ_elt1_a e s')