Réorganisation des fichiers, bugfix

Quand la situation initiale était une solution, on ne s'en rendait pas compte :
on pouvait même bloquer quand il n'y avait aucun 0 (aucune règle ne s'applique et on vérifie qu'on a fini quand on applique une règle). On vérifie maintenant qu'on a pas fini juste après avoir initialisé.

On vérifie aussi que le nombre qu'on cherche à factoriser n'est pas premier.