Qu'est-ce qu'une contrainte d'unicité ?