RÉSUMÉ. 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 œ...