Les travaux de Grothendieck sur les espaces de Banach et leurs surprenantes répercussions actuelles