Réductions et Extraction