let resoud_naivement_graphique_nochrono = Resolution.resoud_naivement ~printP:printP