let nb_sub_hom1_c e s =
let n = ref 0 in
let rec loop s =
match s with
[] -> ()
| [e1] -> if (e = e1) then incr n
| e1::e2::s' -> (
if (e1 = e) && (e2 <> e) then incr n;
(loop (e2::s'))
)
in
loop s;
!n