décomposition en facteurs premiers