On dispose des outils nouveaux que représentent la théorie des faisceaux et l’algèbre homologique (inventés par Jean Leray d’une part, Henri Cartan et Samuel Eilenberg de l’autre), admirables de généralité et de souplesse.