DéfinitionsGrossmann