Quand les mathématiques permettent de résoudre un problème aux échecs