Les foncteurs dérivés de lim et leurs applications en théorie des modules