Construction du foncteur Tor (méthode de résolution projective) et propriétés