Soit H une algèbre de Hopf commutative et cocommutative sur un anneau commutatif k. Un H-dimodule est `a la fois un H-module et un H-comodule, avec une relation de compatibilité. Une algèbre de H-dimodule est `a la foi ...