(fr) découpe de l'énorme fichier assertions en plusieurs petits