Les connaissances : formaliser, raisonner et apprendre