Exercice 2, § 11

Montrer que dans la déf. 3 (III, p. 148), la condition 3° (relative aux bigèbres graduées) est équivalente à la suivante: le produit $m: E \otimes E \to E$ est un morphisme de la cogèbre graduée $E \otimes E$ dans la cogèbre graduée E.