Définitionsmigranier