Définitionsallégué