Tools for infinite dimensional analysis. (2020)