Vous pouvez utiliser les boutons sur la gauche pour écouter et afficher un concept: entre parenthèses, distributifs, commutative, associative, opposé et inverse multiplicatif.