des retouches sur des noms de variables et autres petits bugs