DéfinitionsHalkin