Decomposition en facteur premier