γ-demi-groupes, demi-modules, produits demi-directs