Définitionsramifié