Ce rapport est consacré à l'étude de deux points particuliers du système d'interprétation de scènes 3D TRIDENT. La première partie détaille le fonctionnement d'un outil de validation du modèle de la scène. Il permet au concepteur de contrôler a posteriori la validité du modèle qu'il vient de construire. Ce travail s'apparente à la validation d'une spécification formelle. La seconde partie étudie différentes techniques de propagation de contraintes qui sont nécessaires aussi bien pour valider le modèle que pour reconnaître une scène. Outre l'adaptation de la méthode de Bledsoe-Shostack, nous décrivons la solution adoptée dans le cas de systèmes comportant des alternatives.