fgetcsv PHP function handling a CSV ressource