let search_elements_by_exact_names doc_modules s =
  match Odoc_info.Search.search_by_name
      !doc_modules (Str.regexp ("^"^(Str.quote s)^"$"))
  with
    [] ->
      GToolbox.message_box Cam_messages.search_exact
        (Cam_messages.nothing_found s)
  | [ele] ->
      display_result_element doc_modules ele
  | l ->
      display_result_list doc_modules l