Lois polynomes et lois formelles en théorie des modules