Éditeur de propriétés de spécification