let is_valid path = 
    (* As we are manipulating abstract filename, 
       and that it has been parsed, we are
       sure that all is correct *)

    true