let resoud_naivement_no_graphique = Resolution.resoud_naivement ~printP:printP_chrono_no