Correction

Correction au niveau du code:
- Renomage des variables libres dans S
- Récursion par valeur OK