Re: fonctionnement des cancels et des robots

Salut Olivier,

Cette histoire de « copier » des articles sur control ou control.cancel
est quelque chose qui peut être virtuel. Personne n'ira vérifier comment
un serveur gère cela en mémoire ou sur le disque. D'ailleurs je ne suis
même pas sûr qu'un serveur de news soit obligé de gérer un groupe nommé
control ou control.cancel, et en principe ça ne doit pas avoir d'influence
sur le traitement effectif des annulations.

Oui tout à fait, chaque implémentation stocke où elle veut les articles de contrôle. La méthode la plus répandue est dans une pseudo-hiérarchie control.* qui fait partie des groupes "réservés" à ne pas réutiliser pour d'autres choses.
La liste est dans la RFC 5536 :
    The following <newsgroup-name>s are reserved and MUST NOT be used as
    the name of a newsgroup:
    o  Groups whose first (or only) <component> is "example"
    o  The group "poster"
    The following <newsgroup-name>s have been used for specific purposes
    in various implementations and protocols and therefore MUST NOT be
    used for the names of normal newsgroups.  They MAY be used for their
    specific purpose or by local agreement.
    o  Groups whose first (or only) component is "to"
    o  Groups whose first (or only) component is "control"
    o  Groups that contain (or consist only of) the component "all"
    o  Groups that contain (or consist only of) the component "ctl"
    o  The group "junk"
Comme indiqué, "control.* and junk have special meanings in some news servers" mais pas tous, et ce n'est pas une obligation.
C'est pourquoi les articles de contrôle ont à la fois un en-tête Control et un en-tête Newsgroups. Ce qui est important, et utilisé pour la propagation des articles à d'autres pairs, c'est le champ Newsgroups. D'où la bonne pratique sur les cruciposts que tu as très bien fait de rappeler.

Ce que j'observe malgré tout, c'est que sur les quelques serveurs que j'ai
essayés les articles arrivant au serveur avec un « Control: cancel MID »
sont visibles quand on s'est abonnés à « control.cancel ».

C'est la pratique la plus courante. (Il doit toutefois bien exister des implémentations qui stockent autrement ces articles de contrôle, mais je n'ai pas de nom en tête.)
La RFC 5537 indique que c'est un SHOULD :
    If the serving agent stores articles by newsgroup, control messages
    SHOULD NOT be stored in the newsgroups listed in the control
    message's Newsgroups header field.  Instead, they SHOULD be stored in
    a newsgroup in the hierarchy "control", which is reserved for this
    purpose.  Conventionally, control messages are stored in newsgroups
    named for the type of control message (such as "control.cancel" for
    cancel control messages).
--
Julien ÉLIE
« Les longues fiançailles donnent une chance de mieux se connaître avant
   le mariage, ce qui n'est jamais une bonne idée. » (Oscar Wilde)