Découper un CSV

Coupez un gros CSV en fichiers d’un nombre de lignes donné, chacun avec l’en-tête, réunis dans un seul ZIP.