Crystalizing theq-analogue of universal enveloping algebras

For an irreducible representation of theq-analogue of a universal enveloping algebra, one can find a canonical base atq=0, named crystal base (conjectured in a general case and proven forAn, Bn, Cn andDn). The crystal base has a structure of a colored oriented graph, named crystal graph. The crystal base of the tensor product (respectively the direct sum) is the tensor product (respectively the union) of the crystal base. The crystal graph of the tensor product is also explicitly described. This gives a combinatorial description of the decomposition of the tensor product into irreducible components.