functional analysis works by Grothendieck