Au cœur du quotidien d’un éditeur logiciel : correction d’un bug de performance de Droid grâce à la communauté de la préservation numérique