Définitionsrecouvrant