Un bug mystérieux touche les Pixel depuis des mois : Google impuissant, un développeur résout le problème