let rec is_good_format agenda =
match agenda with
    [] -> true
    | (a,b,c,d)::l -> (string_lowercase a = a) && is_good_format l;;