Au cas où ça serve à quelqu'un dans les manips qu'on fait actuellement: j'ai uploadé à
http://tict.ticalc.org/beta/getcert.89z
un binaire pour 89 du dumper de certificate d'ExtendeD (implémenté sur une idée de JM), légèrement modifié par mes soins. Le binaire traîne depuis des années sur ma calculette, je ne pense pas avoir perdu les sources mais ils ne sont a priori pas sur cette machine.