EC Modélisation et formalisation des connaissances