Formalizzazione dei criteri di imputazione obiettiva: una scelta codificabile ?