théorème de Catalan-Mihailescu