J'ai vu le commentaire de @willdurand après coup. il y a d'autres occurences de sous-tiret plus bas