Altre attività estive
EXTERNAL_SPLITTING_BEGIN
EXTERNAL_SPLITTING_END