Banach and Hilbert spaces of vector-valued functions : their general theory and applications to holomorphy