Je suis très tenté par une discussion JDR, mais certains pourraient nous accuser de polluer un fil de commentaires qui, au départ, n’a rien à voir avec ça... peut-être serait-il judicieux de faire ça ailleurs ? (propose d’un air détaché celui qui a lancé la digression)