DéfinitionsVandenberghe