Définitionstuberculiner