DéfinitionsBattexey