%%%Attention, ce fichier n'est pas un fichier maître
%%%Le lexique ne peut pas s'obtenir indépendamment du manuel complet. 



\MotDefinition{Propriété}
{Une propriété est une règle connue (démontrée ou admise) présentée souvent sous la forme \og Si... alors... \fg.}
