DéfinitionsBenedetti