Décomposition en facteurs premiers

Renvoie la liste des facteurs premiers de `n` (avec répétitions, dans l'ordre croissant). Pour `n ≤ 1`, renvoie une liste vide.

signature : facteurs_premiers(…)