extension_file function

Method that return the extension of a file