Produit lexicographique de graphes