Une preuve mathématique «remarquable» décrit comment résoudre un problème informatique apparemment impossible