D'abord pour sa justesse : je n'ai fait que suivre un arbre de probas composées, et utiliser la formule de Bayes ; j'ai fait une vérif numérique qui confirme mon résultat ; cela suffit amplement à me convaincre qu'il n'y a pas d'erreur ; d'autant que le jeune Bourbaki semble trouver la même chose. Et toi?