Rebonjour...
Ca y est, je l'ai changé... il y a un tout petit trou de +/- 1 mm qui se découvre en tournant la clé... avec un fil d'acier on rentre dedans, on cherche un peu, on pousse et, miracle, les deux moitiés du cylindre se séparent... et puis on trouve un serrurier qui en a encore un cylindre de ce type dans le stock (130€ quand même et il en faut un serrurier passionné par son métier et qui ne jette jamais rien), on pousse les deux moitiés une contre l'autre et, clic, elle s'emboîtent parfaitement... et on découvre aussi, avec le cylindre, l'outil approprié qu'on s'est donné tant de peine à le fabriquer soi même avant... durée totale de la réparation quand on ne sait pas comment 2-3h... quand on le sait 30 sec...