décomposer 1239 en produit de facteur premier