Auto-réparation et auto-optimisation des applications pervasives. Un gestionnaire de sélection de dépendances de services basé sur l'Analyse de Concepts Formels.