Décomposition en facteurs premiers d'un entier positif.