revision of italian translation + changed 'gruppi' to 'insiemi'