Définition et déduction de la formule de la probabilité conditionnelle