Produit de deux complexes