Définitionssequiturque