Vidéo 8: dualité de L^p (avec théorème de projection)