C'est pas trop difficile manuellement , en utilisant seulement un peu de logique + la théorème d'Al-Kashi Rien que ça ..