Vers un traitement linguistique des propriétés en modélisation déclarative