DéfinitionsMaertens