Diagnostic et correction d'erreurs de spécifications Application à l'assemblage de composants