L'ing'enierie des connaissances mod'elise les connaissances d'un domaine pour les op'erationnaliser dans un syst'eme destin'e 'a assister une tˆache ou le travail intellectuel dans ce domaine (r'esolution de probl'eme, aide 'a la d'ecision, consultation documentaire, etc.). Le probl'eme pos'e dans cet article est le statut qu'il faut conf'erer aux mod'eles 'elabor'es : sont-ils 'a consid'erer comme les mod'eles scientifiques qui selon une 'epist'emologie standard doivent d'ecrire et pr'edire les ph'enom'enes ? Quelles exp'eriences viennent les confirmer et les infirmer? Selon nous, il n'y a pas d'exp'eriences en ing'enierie des connaissances. Cette derni'ere est une ing'enierie des inscriptions num'eriques des connaissances dont la mod'elisation formelle et syntaxique doit soutenir une interpr'etation critique, impr'edictible et contextuelle. L'interpr'etation s'effectue selon des normes et conventions permettant d'aborder l'usage concret dans sa singularit'e et sa diff'erence. Le calcul formel organise les inscriptions et assure la m'ediation entre les diff'erentes interpr'etations. L'ing'enierie des connaissances est donc un art interpr 'etatif mobilis'e sur une technique formelle.