Réductions contrôlées par algorithme