DéfinitionsHabkern