On Pareto-Optimality for Verification and Synthesis in Games Played on Graphs (in French)