décomposition en facteur premier