Soit $f: A \times B$ une fonction numérique de 2 variables, et soient
$\mu$, $\phi$ deux fonctionnelles linéaires respectivement sur l'espace
des fonctions de $A$ dans $C$ et de $B$ dans $C$.

On pose la question sous quelles hypothèses on peut échanger leurs
évaluations, i.e. obtenir une égalité
$\mu( a\mapsto \phi (f(a,.)) ) = \phi( b\mapsto \mu (f(.,b)) )$
Un théorème, qui donne des cond. suffisantes pour ceci, sera appelé un
"thm. de Fubini abstrait".

Je présente dans cet exposé un résultat, où la fonction $f$ est supposée
(pluri-) holomorphe en une des deux variables, lorsqu'on "gèle" l'autre.
Les preuves ne font pas appel à la théorie de la mesure, mais uniquement
à l'analyse fonctionnelle classique (mais moins connue), que je
rappelle. Ensuite je compare le résultat à autre approches.