Ajout instructions case ... of
Correction substitution