Series formelles et produit tensoriel

[Finrod]

Bonjour,

Est il vrai que le produit tensoriel d'un module M sur un anneau A par l'anneau des series formelles A[[t]] donne M[[t]] ?

i.e. est ce que ?

C'est vrai quand M est un anneau car on peut remplace le produit tensoriel par une somme amalgamée.

Dans le cas général, on peut écrire comme une limite filtrante des mais je n'ai pas l'impression que ce soit suffisant.