Dans tous les exos que je vois, en fait, on calcule systématiquement p(A) avec la relation habituelle p(A) = ROgz(A)... du coup, n'est-ce pas totalement redondant avec l'AUTRE ROgz(A) qui traîne dans l'expression ? Ce sont pourtant 2 termes aux noms très différents et donc je comprends l'existence via la démonstration... Il n'empêche que ça me turlupine.