vérificateur, solver, réducteur ok (fonctionnent comme le prof demande)