Entre 1950 et 1955, le mathématicien Alexandre Grothendieck a établi un théorème sur les espaces des fonctions. Sorti de l'oubli, il a des connexions inattendues avec l'informatique théorique