Commutativité de deux foncteurs d'interpolation et applications — Pierre Grisvard