let display_all_warnings_about_operations_specs() =
  (* Aorai_option.result  *)
  let listOfNames = (Data_for_aorai.getFunctions_from_c ()) in
  let listOfNames = List.sort (String.compare) listOfNames in
  List.iter
    (fun name ->
         let pre =
           Data_for_aorai.get_func_pre ~securised:true name
         in
         let post =
           Data_for_aorai.get_func_post_bycase ~securised:true name
         in
         if is_empty_pre_post pre then pasEtatAvantOp name;
         if is_empty_post_bc post then pasEtatApresOp name
    )
    listOfNames;

  if(List.length (Data_for_aorai.getIgnoredFunctions())) >0 then
    let ignFuncs=List.fold_left
      (fun ls s -> (ls^" "^s))
      ""
      (List.sort (String.compare) (Data_for_aorai.getIgnoredFunctions()))
    in
    display ("Ignored functions: { "^ignFuncs^" }")