Bonjour ; je vois que tu t'es livrée à un peu de nettoyage et d'améliorations ; seraistu au passage tombée sur une formule donnant la dérivée nème d'une bijection réciproque ? Notant g=f^{1} et g_n=f^{(n)} \circ g, on vérifie aisément par récurrence que la dérivée nème de g est de la forme g^{(n)}=\frac{\sum c_k\prod g_i}{g_1^{2n1}}, mais existetil une expression explicite pour les c_k analogue aux produits de factorielles de la formule de Faà di Bruno ?