encore du nettoyage de code, ajout de quelques problemes durs dans input (unsat-41-272.cpp : met environ 1min à s'exécuter)