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