let
resoud_naivement_graphique_nochrono =
Resolution
.resoud_naivement ~printP:printP