Définitionsloir commun