La contrainte de l'espace de noms du caractère générique dérivé doit être un sous-ensemble intentionnel de la contrainte ...