摘要:L’article s’intéresse à la formalisation, dans une optique de calcul, des définitions lexicographiques BDéf (Altman et Polguère, 2003). La richesse informationnelle de ces définitions laisse envisager de nombreux calculs utiles aussi bien à la pratique lexicographique qu’à une réflexion plus générale sur la modélisation du sens lexical. De tels calculs ne peuvent toutefois être mis en œuvre sans une formalisation poussée des définitions, qui se traduira ici par le recours aux structures de traits typées (Carpenter, 1992). En permettant à chaque instant de s’assurer de manière automatique de la cohérence générale du lexique, la formalisation nous permet de mettre en place une nouvelle méthodologie de description lexicale par « allers-retour » successifs entre les définitions lexicographiques et une métadescription de ces dernières.