DéfinitionsCheverel