Définition, contravariance et construction des foncteurs de cohomologie