Pour illustrer le lien entre les deux pôles théorie - applications proposés comme thème au volume, l'article décrit la formalisation électronique issue d'une approche harrissienne telle qu'elle se pratique au sein de l'équipe du Lexique Grammaire et ce que l'application électronique peut encoder de l'observation linguistique, dans une perspective de comparaison interlangue. Cette entreprise génère à son tour des exigences nouvelles et un retour sur la réflexion théorique que les outils électroniques permettent d'étayer