Définition, construction et propriétés fonctorielles des foncteurs dérivés