C'est une sorte de théorème de Milnor-Moore pour les algèbres de Hopf qui ne sont pas cocommutatives. Ca fait intervenir de nouveaux types d'algèbres (d'où le terme opérade). C'est très proche du fameux théorème d'Etingof-Kazhdan ("deformation quantization"). Une partie des résultats est annoncée dans une note aux CRAS que l'on peut trouver sur ma home page.