Synthèses et vérification de connaissances