@ Black Matter
Merci pour la précision.
L’ensemble des procureurs est un sous-ensemble de l’ensemble des magistrats, de même que l’ensemble des juges est un autre sous-ensemble de l’ensemble des magistrats. Donc, je propose la correction suivante dans mon commentaire : à chaque fois que j’ai employé par erreur le mot « juge », je propose au lecteur de le remplacer par le mot « magistrat », ce qui effectivement sera plus exact .