Demonstration : La contrainte DEFAUT