Produits de mesures spectrales et produit tensoriel fonctionnel — Yves Romain, Alain Boudou