On met en local les variables qui peuvent être mises en local