Un contenzioso “calcolabile”