[Dev] Implémentation de creer_automate_des_facteurs