L'implication probabiliste dans SPLAT s'est révélée super claire !! Bravo pour la simplicité du formalisme dans la version 1.4 de l'article La capture d'écran montre la règle de chaîne. J'aime comment on peut suivre la section de calcul même sans connaissance de Lean.